Details

Time bar (total: 29.7s)

sample148.0ms

Algorithm
intervals
Results
66.0ms362×body80valid
53.0ms398×body80nan

simplify3.3s

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

prune13.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 4.9b

localize42.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.3b
(fma (log x) (- x 0.5) 0.91893853320467)
4.8b
(/ (fma z (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) 0.083333333333333) x)

rewrite11.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)
5.0ms
(- x (fma (log x) (- x 0.5) 0.91893853320467))
0.0ms
(fma (log x) (- x 0.5) 0.91893853320467)
4.0ms
(/ (fma z (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) 0.083333333333333) x)

series832.0ms

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

simplify2.0s

Counts
94 → 94
Iterations
IterNodes
done5000
33517
21026
1369
0174

prune663.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 3.7b

localize56.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)
4.8b
(/ (fma z (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) 0.083333333333333) x)

rewrite14.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)
6.0ms
(- (fma (- (log x)) (- x 0.5) x) 0.91893853320467)
0.0ms
(fma (- (log x)) (- x 0.5) x)
7.0ms
(/ (fma z (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) 0.083333333333333) x)

series1.1s

Counts
4 → 12
Calls
4 calls:
56.0ms
(fma z (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) 0.083333333333333)
459.0ms
(- (fma (- (log x)) (- x 0.5) x) 0.91893853320467)
467.0ms
(fma (- (log x)) (- x 0.5) x)
98.0ms
(/ (fma z (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) 0.083333333333333) x)

simplify2.0s

Counts
94 → 94
Iterations
IterNodes
done5000
33073
2882
1382
0178

prune734.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 3.7b

localize57.0ms

Local error

Found 4 expressions with local error:

0.3b
(fma (log x) (- x 0.5) 0.91893853320467)
0.3b
(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))))
4.8b
(/ (fma z (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) 0.083333333333333) x)

rewrite73.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)
62.0ms
(* (+ (sqrt x) (sqrt (fma (log x) (- x 0.5) 0.91893853320467))) (- (sqrt x) (sqrt (fma (log x) (- x 0.5) 0.91893853320467))))
7.0ms
(/ (fma z (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) 0.083333333333333) x)

series1.4s

Counts
4 → 12
Calls
4 calls:
420.0ms
(fma (log x) (- x 0.5) 0.91893853320467)
396.0ms
(fma (log x) (- x 0.5) 0.91893853320467)
450.0ms
(* (+ (sqrt x) (sqrt (fma (log x) (- x 0.5) 0.91893853320467))) (- (sqrt x) (sqrt (fma (log x) (- x 0.5) 0.91893853320467))))
96.0ms
(/ (fma z (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) 0.083333333333333) x)

simplify5.5s

Counts
177 → 177
Iterations
IterNodes
done5000
11457
0479

prune1.4s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 3.7b

localize47.0ms

Local error

Found 4 expressions with local error:

0.2b
(fma (- (log x)) (- x 0.5) x)
0.3b
(/ 1 (sqrt x))
2.4b
(* (/ 1 (sqrt x)) (/ (fma z (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) 0.083333333333333) (sqrt x)))
2.8b
(/ (fma z (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) 0.083333333333333) (sqrt x))

rewrite63.0ms

Algorithm
rewrite-expression-head
Rules
106×add-sqr-sqrt
94×times-frac
66×*-un-lft-identity
60×add-cube-cbrt
53×sqrt-prod
32×add-exp-log
22×associate-*r* associate-*l*
20×add-cbrt-cube
15×unswap-sqr
12×associate-/r*
11×div-exp
8×pow1 prod-exp
6×cbrt-undiv associate-/l*
4×expm1-log1p-u cbrt-unprod insert-posit16 log1p-expm1-u div-inv add-log-exp
3×rec-exp 1-exp pow-flip
2×clear-num frac-2neg
1×frac-times sqrt-pow1 pow1/2 pow-prod-down associate-*l/ associate-*r/ *-commutative fma-udef inv-pow
Counts
4 → 187
Calls
4 calls:
0.0ms
(fma (- (log x)) (- x 0.5) x)
9.0ms
(/ 1 (sqrt x))
32.0ms
(* (/ 1 (sqrt x)) (/ (fma z (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) 0.083333333333333) (sqrt x)))
16.0ms
(/ (fma z (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) 0.083333333333333) (sqrt x))

series750.0ms

Counts
4 → 12
Calls
4 calls:
485.0ms
(fma (- (log x)) (- x 0.5) x)
33.0ms
(/ 1 (sqrt x))
109.0ms
(* (/ 1 (sqrt x)) (/ (fma z (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) 0.083333333333333) (sqrt x)))
122.0ms
(/ (fma z (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) 0.083333333333333) (sqrt x))

simplify2.2s

Counts
199 → 199
Iterations
IterNodes
done5002
22046
1766
0288

prune1.3s

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 3.7b

regimes438.0ms

Accuracy

88.1% (0.2b remaining)

Error of 4.0b against oracle of 3.8b and baseline of 5.7b

bsearch144.0ms

Steps
ItersRangePoint
9
4.275477744755616e+43
6.486999084229175e+48
5.568098794776475e+44

simplify10.0ms

Iterations
IterNodes
done40
140
035

end0.0ms

sample5.5s

Algorithm
intervals
Results
2.8s11694×body80valid
2.0s11843×body80nan