Details

Time bar (total: 27.9s)

sample146.0ms

Algorithm
intervals
Results
57.0ms243×body160nan
40.0ms501×body80nan
26.0ms256×body80valid

simplify10.0s

Counts
1 → 1
Iterations
IterNodes
94832
81321
7464
6246
5119
468
337
221
117
07

prune15.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 33.1b

localize12.0ms

Local error

Found 2 expressions with local error:

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

rewrite6.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)))
1.0ms
(sqrt (fma x x -1))

series158.0ms

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

simplify2.0s

Counts
40 → 40
Iterations
IterNodes
42761
31025
2410
1172
073

prune396.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize20.0ms

Local error

Found 1 expressions with local error:

0.1b
(/ (/ 1/8 x) (* x x))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
31×times-frac
15×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
13×add-cbrt-cube add-exp-log associate-/l*
6×cbrt-undiv div-exp
3×div-inv
2×prod-exp cbrt-unprod
1×expm1-log1p-u pow1 clear-num associate-/r* frac-2neg insert-posit16 log1p-expm1-u add-log-exp associate-/l/
Counts
1 → 49
Calls
1 calls:
20.0ms
(/ (/ 1/8 x) (* x x))

series80.0ms

Counts
1 → 3
Calls
1 calls:
80.0ms
(/ (/ 1/8 x) (* x x))

simplify8.4s

Counts
52 → 52
Iterations
IterNodes
48798
31880
2582
1234
0104

prune544.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize17.0ms

Local error

Found 2 expressions with local error:

0.1b
(fma (sqrt x) (sqrt x) (sqrt (fma x x -1)))
31.8b
(sqrt (fma x x -1))

rewrite2.0ms

Algorithm
rewrite-expression-head
Rules
4×add-sqr-sqrt
3×pow1 *-un-lft-identity add-cube-cbrt sqrt-prod
2×expm1-log1p-u add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u add-log-exp
1×rem-sqrt-square sqrt-pow1 pow1/2 fma-udef
Counts
2 → 27
Calls
2 calls:
0.0ms
(fma (sqrt x) (sqrt x) (sqrt (fma x x -1)))
1.0ms
(sqrt (fma x x -1))

series161.0ms

Counts
2 → 6
Calls
2 calls:
113.0ms
(fma (sqrt x) (sqrt x) (sqrt (fma x x -1)))
48.0ms
(sqrt (fma x x -1))

simplify1.5s

Counts
33 → 33
Iterations
IterNodes
42418
3879
2341
1146
069

prune240.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes18.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
111
011

end0.0ms

sample4.2s

Algorithm
intervals
Results
1.6s16041×body80nan
1.4s7683×body160nan
758.0ms8000×body80valid