Details

Time bar (total: 17.6s)

sample62.0ms

Algorithm
intervals
Results
19.0ms368×body80valid
18.0ms399×body80nan

simplify4.3s

Counts
1 → 1
Iterations

Useful iterations: 4 (97.0ms)

IterNodesCost
02024
14023
29123
321323
449322
5103722
6178822
7431722
done500022

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 6.3b

localize18.0ms

Local error

Found 4 expressions with local error:

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

rewrite30.0ms

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

series459.0ms

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

simplify2.1s

Counts
96 → 96
Iterations

Useful iterations: 3 (1.1s)

IterNodesCost
01702451
13622310
29562033
334681837
done50001837

prune385.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 3.5b

localize18.0ms

Local error

Found 4 expressions with local error:

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

rewrite36.0ms

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

series436.0ms

Counts
4 → 12
Calls
4 calls:
45.0ms
(fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333)
165.0ms
(- (+ (fma (log x) (- x 0.5) (* (fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333) (/ 1 x))) 0.91893853320467) x)
138.0ms
(fma (log x) (- x 0.5) (* (fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333) (/ 1 x)))
86.0ms
(* (fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333) (/ 1 x))

simplify2.6s

Counts
105 → 105
Iterations

Useful iterations: 3 (1.5s)

IterNodesCost
01942709
14512370
211862049
344911829
done50001829

prune425.0ms

Pruning

13 alts after pruning (11 fresh and 2 done)

Merged error: 3.5b

localize20.0ms

Local error

Found 4 expressions with local error:

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

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
84×times-frac
75×*-un-lft-identity
64×add-sqr-sqrt
62×add-cube-cbrt
17×add-exp-log
16×associate-/r*
12×prod-diff
11×add-cbrt-cube
9×add-log-exp
8×div-exp
6×div-inv associate-/l*
5×pow1 distribute-lft-out
4×cbrt-undiv expm1-log1p-u fma-neg log1p-expm1-u
2×rec-exp frac-2neg diff-log 1-exp clear-num distribute-lft-out--
1×sub-neg flip3-- pow-flip associate--l+ sum-log associate-/r/ flip-- fma-udef inv-pow difference-of-squares
Counts
4 → 152
Calls
4 calls:
27.0ms
(- (+ (fma (log x) (- x 0.5) (/ 1 (/ x (fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333)))) 0.91893853320467) x)
0.0ms
(fma (log x) (- x 0.5) (/ 1 (/ x (fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333))))
6.0ms
(/ 1 (/ x (fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333)))
2.0ms
(/ x (fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333))

series546.0ms

Counts
4 → 12
Calls
4 calls:
162.0ms
(- (+ (fma (log x) (- x 0.5) (/ 1 (/ x (fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333)))) 0.91893853320467) x)
144.0ms
(fma (log x) (- x 0.5) (/ 1 (/ x (fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333))))
106.0ms
(/ 1 (/ x (fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333)))
134.0ms
(/ x (fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333))

simplify821.0ms

Counts
164 → 164
Iterations

Useful iterations: done (815.0ms)

IterNodesCost
02814429
16284081
215533535
done50003462

prune550.0ms

Pruning

14 alts after pruning (11 fresh and 3 done)

Merged error: 2.2b

localize23.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (+ (fma (log x) (- x 0.5) (/ (fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333) x)) (- 0.91893853320467 x)))
5.8b
(/ (fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333) x)
5.8b
(/ (fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333) x)
5.8b
(/ (fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333) x)

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
34×*-un-lft-identity
29×add-sqr-sqrt add-cube-cbrt
27×times-frac
10×add-exp-log add-cbrt-cube
9×associate-/r* associate-/l*
5×cbrt-prod
4×pow1 expm1-log1p-u log1p-expm1-u add-log-exp
3×cbrt-undiv frac-2neg div-exp clear-num div-inv
2×cbrt-div distribute-lft-out
1×flip3-+ pow1/3 flip-+ distribute-lft-out--
Counts
4 → 104
Calls
4 calls:
11.0ms
(cbrt (+ (fma (log x) (- x 0.5) (/ (fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333) x)) (- 0.91893853320467 x)))
2.0ms
(/ (fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333) x)
2.0ms
(/ (fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333) x)
2.0ms
(/ (fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333) x)

series939.0ms

Counts
4 → 12
Calls
4 calls:
655.0ms
(cbrt (+ (fma (log x) (- x 0.5) (/ (fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333) x)) (- 0.91893853320467 x)))
95.0ms
(/ (fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333) x)
97.0ms
(/ (fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333) x)
91.0ms
(/ (fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333) x)

simplify729.0ms

Counts
116 → 116
Iterations

Useful iterations: 2 (212.0ms)

IterNodesCost
02153225
15763142
221862913
done50012913

prune642.0ms

Pruning

16 alts after pruning (12 fresh and 4 done)

Merged error: 2.2b

regimes374.0ms

Accuracy

83.4% (0.5b remaining)

Error of 3.3b against oracle of 2.8b and baseline of 5.8b

bsearch380.0ms

Steps
ItersRangePoint
7
0.44834868164545755
7.964485787414721
7.898896307410473
10
-3.034803010707875e+45
-1.412677184981801e+34
-2.8321661325580685e+38
9
-6.931203926992297e+158
-4.4837992671465834e+153
-1.3467080675490262e+154

simplify5.0ms

Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
04792
16077
done6077

end0.0ms

sample1.6s

Algorithm
intervals
Results
622.0ms11689×body80valid
519.0ms11638×body80nan