Details

Time bar (total: 23.0s)

sample151.0ms

Algorithm
intervals
Results
66.0ms408×body80valid
37.0ms407×body80nan

simplify2.9s

Counts
1 → 1
Iterations

Useful iterations: 4 (168.0ms)

IterNodesCost
02024
14023
29223
326523
493422
5433522
done500022

prune14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 5.5b

localize26.0ms

Local error

Found 4 expressions with local error:

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

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

series824.0ms

Counts
4 → 12
Calls
4 calls:
69.0ms
(fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333)
203.0ms
(- (+ (fma (- x 0.5) (log x) 0.91893853320467) (/ (fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333) x)) x)
438.0ms
(fma (- x 0.5) (log x) 0.91893853320467)
113.0ms
(/ (fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333) x)

simplify934.0ms

Counts
96 → 96
Iterations

Useful iterations: done (929.0ms)

IterNodesCost
01782316
14072178
213601923
done50011766

prune746.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 3.5b

localize63.0ms

Local error

Found 4 expressions with local error:

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

rewrite421.0ms

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

series888.0ms

Counts
4 → 12
Calls
4 calls:
194.0ms
(- (+ (fma (- x 0.5) (log x) 0.91893853320467) (/ 1 (/ x (fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333)))) x)
131.0ms
(/ 1 (/ x (fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333)))
388.0ms
(fma (- x 0.5) (log x) 0.91893853320467)
174.0ms
(/ x (fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333))

simplify2.3s

Counts
169 → 169
Iterations

Useful iterations: done (2.3s)

IterNodesCost
02894424
17254083
233183679
done50013543

prune924.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 2.7b

localize54.0ms

Local error

Found 4 expressions with local error:

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

rewrite94.0ms

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

series746.0ms

Counts
4 → 12
Calls
4 calls:
67.0ms
(fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333)
201.0ms
(- (+ (fma (- x 0.5) (log x) 0.91893853320467) (* (/ 1 x) (fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333))) x)
345.0ms
(fma (- x 0.5) (log x) 0.91893853320467)
133.0ms
(* (/ 1 x) (fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333))

simplify1.6s

Counts
101 → 101
Iterations

Useful iterations: done (1.6s)

IterNodesCost
02022420
14992155
222021868
done50011734

prune602.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.1b

localize48.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.1s

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

series782.0ms

Counts
4 → 12
Calls
4 calls:
192.0ms
(- (+ (fma (- x 0.5) (log x) 0.91893853320467) (+ (* z (/ (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) x)) (/ 0.083333333333333 x))) x)
408.0ms
(fma (- x 0.5) (log x) 0.91893853320467)
80.0ms
(/ (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) x)
102.0ms
(* z (/ (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) x))

simplify1.4s

Counts
124 → 124
Iterations

Useful iterations: done (1.4s)

IterNodesCost
02242801
15892595
224732299
done50012160

prune708.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.0b

regimes431.0ms

Accuracy

0% (0.9b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02229
12729
done2729

end0.0ms

sample5.0s

Algorithm
intervals
Results
1.9s11987×body80nan
1.9s11784×body80valid