Details

Time bar (total: 12.0s)

sample38.0ms

Algorithm
intervals
Results
19.0ms246×body80valid
2.0ms10×body160valid

simplify5.1s

Counts
1 → 1
Iterations
IterNodes
done5001
63074
5370
484
336
218
112
06

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 17.0b

localize19.0ms

Local error

Found 1 expressions with local error:

29.7b
(sin (pow x 2.0))

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
add-sqr-sqrt pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt add-log-exp
Counts
1 → 7
Calls
1 calls:
11.0ms
(sin (pow x 2.0))

series482.0ms

Counts
1 → 3
Calls
1 calls:
482.0ms
(sin (pow x 2.0))

simplify1.7s

Counts
10 → 10
Iterations
IterNodes
done5000
51497
4388
3151
269
141
024

prune91.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 16.9b

localize24.0ms

Local error

Found 2 expressions with local error:

0.3b
(pow (/ 1 x) -2.0)
29.7b
(sin (pow (/ 1 x) -2.0))

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
13×unpow-prod-down
10×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
times-frac
add-exp-log
pow1 pow-exp
pow-unpow pow-pow
add-cbrt-cube div-exp add-log-exp
pow-to-exp rec-exp 1-exp div-inv pow-flip inv-pow sqr-pow
Counts
2 → 39
Calls
2 calls:
20.0ms
(pow (/ 1 x) -2.0)
20.0ms
(sin (pow (/ 1 x) -2.0))

series852.0ms

Counts
2 → 6
Calls
2 calls:
367.0ms
(pow (/ 1 x) -2.0)
485.0ms
(sin (pow (/ 1 x) -2.0))

simplify2.2s

Counts
45 → 45
Iterations
IterNodes
done5000
32580
2754
1263
098

prune233.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 16.9b

regimes79.0ms

Accuracy

0% (0.1b remaining)

Error of 16.4b against oracle of 16.4b and baseline of 16.4b

bsearch0.0ms

simplify4.0ms

Iterations
IterNodes
done14
114
011

end0.0ms

sample1.1s

Algorithm
intervals
Results
722.0ms7882×body80valid
76.0ms118×body160valid