Details

Time bar (total: 31.9s)

sample153.0ms

Algorithm
intervals
Results
70.0ms279×body160nan
37.0ms520×body80nan
22.0ms256×body80valid

simplify21.5s

Counts
1 → 1
Iterations
IterNodes
94745
81502
7489
6252
5117
466
335
219
115
07

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 32.8b

localize13.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ x (sqrt (fma x x -1)))
31.5b
(sqrt (fma x x -1))

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
6×*-un-lft-identity
5×add-sqr-sqrt
4×add-cube-cbrt add-log-exp
3×pow1 fma-def sqrt-prod
2×expm1-log1p-u add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u
1×+-commutative rem-sqrt-square sum-log sqrt-pow1 flip3-+ pow1/2 flip-+ distribute-lft-out
Counts
2 → 34
Calls
2 calls:
5.0ms
(+ x (sqrt (fma x x -1)))
2.0ms
(sqrt (fma x x -1))

series206.0ms

Counts
2 → 6
Calls
2 calls:
116.0ms
(+ x (sqrt (fma x x -1)))
90.0ms
(sqrt (fma x x -1))

simplify1.9s

Counts
40 → 40
Iterations
IterNodes
42637
31022
2408
1170
073

prune210.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize48.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (fma 2 x (/ -1/8 (* (* x x) x))) (/ 1/2 x))
0.1b
(* (* x x) x)
0.7b
(/ -1/8 (* (* x x) x))

rewrite82.0ms

Algorithm
rewrite-expression-head
Rules
47×add-sqr-sqrt
43×*-un-lft-identity
41×add-cube-cbrt
39×prod-diff
31×times-frac
22×pow1
17×add-cbrt-cube add-exp-log
6×pow-plus prod-exp pow-prod-up cbrt-unprod
5×add-log-exp
4×div-inv
3×expm1-log1p-u cbrt-undiv fma-neg div-exp associate-*r* pow-prod-down insert-posit16 log1p-expm1-u associate-/l*
2×pow2 pow-sqr difference-of-squares
1×clear-num associate-/r* sub-neg frac-2neg flip3-- diff-log associate-*l* pow3 associate--l+ *-commutative fma-udef flip-- distribute-lft-out-- unswap-sqr
Counts
3 → 118
Calls
3 calls:
16.0ms
(- (fma 2 x (/ -1/8 (* (* x x) x))) (/ 1/2 x))
30.0ms
(* (* x x) x)
31.0ms
(/ -1/8 (* (* x x) x))

series173.0ms

Counts
3 → 9
Calls
3 calls:
74.0ms
(- (fma 2 x (/ -1/8 (* (* x x) x))) (/ 1/2 x))
43.0ms
(* (* x x) x)
55.0ms
(/ -1/8 (* (* x x) x))

simplify3.2s

Counts
127 → 127
Iterations
IterNodes
34797
21499
1545
0229

prune417.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes28.0ms

Accuracy

0% (0.2b remaining)

Error of 0.3b against oracle of 0.1b and baseline of 0.3b

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
212
112
011

end0.0ms

sample3.9s

Algorithm
intervals
Results
1.5s16323×body80nan
1.3s7748×body160nan
783.0ms8000×body80valid