Details

Time bar (total: 31.0s)

sample112.0ms

Algorithm
intervals
Results
46.0ms374×body80valid
34.0ms333×body80nan

simplify3.7s

Counts
1 → 1
Iterations
IterNodes
done5001
62777
51555
4687
3260
291
140
020

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 6.9b

localize44.0ms

Local error

Found 4 expressions with local error:

0.1b
(fma z (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) 0.083333333333333)
0.2b
(- x (fma (log x) (- x 0.5) 0.91893853320467))
0.2b
(fma (log x) (- x 0.5) 0.91893853320467)
6.9b
(/ (fma z (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) 0.083333333333333) x)

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt *-un-lft-identity
19×add-cube-cbrt
9×times-frac prod-diff
6×add-cbrt-cube add-exp-log add-log-exp
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u
3×associate-/r* fma-neg fma-udef associate-/l*
1×cbrt-undiv clear-num sub-neg frac-2neg flip3-- diff-log div-exp div-inv flip-- associate--r+ distribute-lft-out-- difference-of-squares
Counts
4 → 82
Calls
4 calls:
0.0ms
(fma z (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) 0.083333333333333)
7.0ms
(- x (fma (log x) (- x 0.5) 0.91893853320467))
0.0ms
(fma (log x) (- x 0.5) 0.91893853320467)
5.0ms
(/ (fma z (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) 0.083333333333333) x)

series904.0ms

Counts
4 → 12
Calls
4 calls:
68.0ms
(fma z (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) 0.083333333333333)
401.0ms
(- x (fma (log x) (- x 0.5) 0.91893853320467))
342.0ms
(fma (log x) (- x 0.5) 0.91893853320467)
93.0ms
(/ (fma z (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) 0.083333333333333) x)

simplify2.0s

Counts
94 → 94
Iterations
IterNodes
done5000
33517
21026
1369
0174

prune801.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 3.9b

localize62.0ms

Local error

Found 4 expressions with local error:

0.1b
(fma z (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) 0.083333333333333)
0.1b
(- (fma (- (log x)) (- x 0.5) x) 0.91893853320467)
0.2b
(fma (- (log x)) (- x 0.5) x)
6.9b
(/ (fma z (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) 0.083333333333333) x)

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt *-un-lft-identity
19×add-cube-cbrt
9×times-frac prod-diff
6×add-cbrt-cube add-exp-log add-log-exp
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u
3×associate-/r* fma-neg fma-udef associate-/l*
1×cbrt-undiv clear-num sub-neg frac-2neg flip3-- diff-log div-exp associate--l+ div-inv flip-- distribute-lft-out-- difference-of-squares
Counts
4 → 82
Calls
4 calls:
0.0ms
(fma z (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) 0.083333333333333)
14.0ms
(- (fma (- (log x)) (- x 0.5) x) 0.91893853320467)
1.0ms
(fma (- (log x)) (- x 0.5) x)
11.0ms
(/ (fma z (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) 0.083333333333333) x)

series1.1s

Counts
4 → 12
Calls
4 calls:
43.0ms
(fma z (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) 0.083333333333333)
436.0ms
(- (fma (- (log x)) (- x 0.5) x) 0.91893853320467)
501.0ms
(fma (- (log x)) (- x 0.5) x)
121.0ms
(/ (fma z (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) 0.083333333333333) x)

simplify2.3s

Counts
94 → 94
Iterations
IterNodes
done5000
33073
2882
1382
0178

prune693.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 3.9b

localize39.0ms

Local error

Found 4 expressions with local error:

0.1b
(fma z (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) 0.083333333333333)
0.1b
(- (fma (- (log x)) (- x 0.5) x) 0.91893853320467)
0.2b
(fma (- (log x)) (- x 0.5) x)
7.0b
(* (fma z (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) 0.083333333333333) (/ 1 x))

rewrite53.0ms

Algorithm
rewrite-expression-head
Rules
28×add-sqr-sqrt
22×*-un-lft-identity
19×add-cube-cbrt
13×associate-*r* add-exp-log
11×times-frac
9×add-cbrt-cube prod-diff
6×pow1 add-log-exp
4×expm1-log1p-u prod-exp insert-posit16 log1p-expm1-u
3×fma-neg associate-*l* fma-udef unswap-sqr
2×div-exp cbrt-unprod
1×cbrt-undiv rec-exp sub-neg flip3-- diff-log 1-exp pow-prod-down associate--l+ associate-*r/ un-div-inv *-commutative div-inv flip-- distribute-lft-out-- difference-of-squares
Counts
4 → 91
Calls
4 calls:
1.0ms
(fma z (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) 0.083333333333333)
21.0ms
(- (fma (- (log x)) (- x 0.5) x) 0.91893853320467)
0.0ms
(fma (- (log x)) (- x 0.5) x)
27.0ms
(* (fma z (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) 0.083333333333333) (/ 1 x))

series1.2s

Counts
4 → 12
Calls
4 calls:
77.0ms
(fma z (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) 0.083333333333333)
474.0ms
(- (fma (- (log x)) (- x 0.5) x) 0.91893853320467)
503.0ms
(fma (- (log x)) (- x 0.5) x)
123.0ms
(* (fma z (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) 0.083333333333333) (/ 1 x))

simplify2.3s

Counts
103 → 103
Iterations
IterNodes
done5000
33131
21066
1471
0200

prune766.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 3.9b

localize76.0ms

Local error

Found 4 expressions with local error:

0.2b
(fma (log x) (- x 0.5) 0.91893853320467)
0.2b
(fma (log x) (- x 0.5) 0.91893853320467)
0.4b
(* (+ (sqrt x) (sqrt (fma (log x) (- x 0.5) 0.91893853320467))) (- (sqrt x) (sqrt (fma (log x) (- x 0.5) 0.91893853320467))))
6.9b
(/ (fma z (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) 0.083333333333333) x)

rewrite131.0ms

Algorithm
rewrite-expression-head
Rules
80×sqrt-prod
72×add-sqr-sqrt prod-diff
70×*-un-lft-identity
62×add-cube-cbrt
38×distribute-rgt-in distribute-lft-in
9×times-frac associate-*r*
8×add-cbrt-cube add-exp-log
6×pow1
5×associate-*l*
4×expm1-log1p-u frac-times insert-posit16 log1p-expm1-u add-log-exp difference-of-squares
3×associate-/r* flip3-+ flip3-- flip-+ flip-- associate-/l*
2×sub-neg associate-*l/ associate-*r/ fma-udef distribute-lft-out distribute-lft-out--
1×cbrt-undiv clear-num frac-2neg div-exp pow-prod-down prod-exp *-commutative cbrt-unprod div-inv unswap-sqr
Counts
4 → 165
Calls
4 calls:
0.0ms
(fma (log x) (- x 0.5) 0.91893853320467)
0.0ms
(fma (log x) (- x 0.5) 0.91893853320467)
119.0ms
(* (+ (sqrt x) (sqrt (fma (log x) (- x 0.5) 0.91893853320467))) (- (sqrt x) (sqrt (fma (log x) (- x 0.5) 0.91893853320467))))
5.0ms
(/ (fma z (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) 0.083333333333333) x)

series1.8s

Counts
4 → 12
Calls
4 calls:
391.0ms
(fma (log x) (- x 0.5) 0.91893853320467)
745.0ms
(fma (log x) (- x 0.5) 0.91893853320467)
556.0ms
(* (+ (sqrt x) (sqrt (fma (log x) (- x 0.5) 0.91893853320467))) (- (sqrt x) (sqrt (fma (log x) (- x 0.5) 0.91893853320467))))
120.0ms
(/ (fma z (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) 0.083333333333333) x)

simplify6.3s

Counts
177 → 177
Iterations
IterNodes
done5000
11457
0479

prune1.7s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 3.9b

regimes443.0ms

Accuracy

90.9% (0.2b remaining)

Error of 3.6b against oracle of 3.4b and baseline of 5.7b

bsearch87.0ms

Steps
ItersRangePoint
5
1.9756105794475683e+22
5.350792530299976e+22
2.663242591017173e+22

simplify25.0ms

Iterations
IterNodes
done46
146
039

end0.0ms

sample4.2s

Algorithm
intervals
Results
2.1s11631×body80valid
1.5s11652×body80nan