Details

Time bar (total: 22.8s)

sample151.0ms

Algorithm
intervals
Results
61.0ms377×body80nan
40.0ms367×body80valid

simplify3.2s

Counts
1 → 1
Iterations

Useful iterations: 4 (230.0ms)

IterNodesCost
02024
14023
29223
326523
493422
5433522
done500022

prune19.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 7.0b

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

rewrite194.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:
1.0ms
(fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333)
168.0ms
(- (+ (fma (- x 0.5) (log x) 0.91893853320467) (/ (fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333) x)) x)
10.0ms
(fma (- x 0.5) (log x) 0.91893853320467)
10.0ms
(/ (fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333) x)

series1.1s

Counts
4 → 12
Calls
4 calls:
42.0ms
(fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333)
186.0ms
(- (+ (fma (- x 0.5) (log x) 0.91893853320467) (/ (fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333) x)) x)
731.0ms
(fma (- x 0.5) (log x) 0.91893853320467)
105.0ms
(/ (fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333) x)

simplify943.0ms

Counts
96 → 96
Iterations

Useful iterations: done (938.0ms)

IterNodesCost
01782316
14072178
213601923
done50011766

prune634.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 5.5b

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

rewrite97.0ms

Algorithm
rewrite-expression-head
Rules
28×add-sqr-sqrt
22×*-un-lft-identity
19×add-cube-cbrt
13×add-exp-log associate-*r*
11×times-frac
9×prod-diff add-cbrt-cube add-log-exp
6×pow1
4×expm1-log1p-u prod-exp log1p-expm1-u
3×fma-neg associate-*l* unswap-sqr
2×diff-log div-exp cbrt-unprod fma-udef
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 distribute-lft-out-- difference-of-squares
Counts
4 → 88
Calls
4 calls:
0.0ms
(fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333)
65.0ms
(- (+ (fma (- x 0.5) (log x) 0.91893853320467) (* (fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333) (/ 1 x))) x)
1.0ms
(fma (- x 0.5) (log x) 0.91893853320467)
28.0ms
(* (fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333) (/ 1 x))

series781.0ms

Counts
4 → 12
Calls
4 calls:
43.0ms
(fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333)
231.0ms
(- (+ (fma (- x 0.5) (log x) 0.91893853320467) (* (fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333) (/ 1 x))) x)
407.0ms
(fma (- x 0.5) (log x) 0.91893853320467)
99.0ms
(* (fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333) (/ 1 x))

simplify1.6s

Counts
100 → 100
Iterations

Useful iterations: done (1.6s)

IterNodesCost
02022400
15002120
219741841
done50011711

prune564.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 5.5b

localize49.0ms

Local error

Found 4 expressions with local error:

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

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
32×add-sqr-sqrt
20×add-cube-cbrt *-un-lft-identity
19×pow1
18×sqrt-prod
9×times-frac
8×add-exp-log sqrt-pow1 pow1/2 swap-sqr add-cbrt-cube
6×associate-*r* associate-*l*
5×pow-prod-up
4×expm1-log1p-u log1p-expm1-u add-log-exp unswap-sqr
3×pow-prod-down associate-/r* pow-sqr associate-/l*
2×fma-udef
1×cbrt-undiv pow2 frac-2neg pow-plus sqrt-unprod div-exp prod-exp clear-num rem-square-sqrt *-commutative cbrt-unprod div-inv
Counts
4 → 100
Calls
4 calls:
0.0ms
(fma (- x 0.5) (log x) 0.91893853320467)
0.0ms
(fma (- x 0.5) (log x) 0.91893853320467)
22.0ms
(* (sqrt (fma (- x 0.5) (log x) 0.91893853320467)) (sqrt (fma (- x 0.5) (log x) 0.91893853320467)))
11.0ms
(/ (fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333) x)

series1.5s

Counts
4 → 12
Calls
4 calls:
416.0ms
(fma (- x 0.5) (log x) 0.91893853320467)
485.0ms
(fma (- x 0.5) (log x) 0.91893853320467)
451.0ms
(* (sqrt (fma (- x 0.5) (log x) 0.91893853320467)) (sqrt (fma (- x 0.5) (log x) 0.91893853320467)))
116.0ms
(/ (fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333) x)

simplify3.6s

Counts
112 → 112
Iterations

Useful iterations: 3 (1.0s)

IterNodesCost
01512056
13031560
28401399
345951332
done50001332

prune502.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 5.5b

localize40.0ms

Local error

Found 4 expressions with local error:

0.3b
(fma (- x 0.5) (log x) 0.91893853320467)
0.3b
(/ (sqrt 1) (sqrt x))
2.1b
(/ (fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333) (sqrt x))
4.7b
(* (/ (fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333) (sqrt x)) (/ (sqrt 1) (sqrt x)))

rewrite104.0ms

Algorithm
rewrite-expression-head
Rules
153×add-sqr-sqrt
140×times-frac
127×sqrt-prod
91×*-un-lft-identity
85×add-cube-cbrt
40×associate-*r*
22×associate-*l*
21×unswap-sqr
20×add-exp-log add-cbrt-cube
12×associate-/r*
9×associate-/l*
6×pow1 cbrt-undiv div-exp
4×expm1-log1p-u prod-exp cbrt-unprod log1p-expm1-u div-inv add-log-exp
2×frac-2neg clear-num
1×frac-times sqrt-undiv associate-*r/ pow-prod-down associate-*l/ *-commutative fma-udef
Counts
4 → 219
Calls
4 calls:
0.0ms
(fma (- x 0.5) (log x) 0.91893853320467)
12.0ms
(/ (sqrt 1) (sqrt x))
12.0ms
(/ (fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333) (sqrt x))
64.0ms
(* (/ (fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333) (sqrt x)) (/ (sqrt 1) (sqrt x)))

series681.0ms

Counts
4 → 12
Calls
4 calls:
438.0ms
(fma (- x 0.5) (log x) 0.91893853320467)
45.0ms
(/ (sqrt 1) (sqrt x))
106.0ms
(/ (fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333) (sqrt x))
91.0ms
(* (/ (fma (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z 0.083333333333333) (sqrt x)) (/ (sqrt 1) (sqrt x)))

simplify476.0ms

Counts
231 → 231
Iterations

Useful iterations: done (463.0ms)

IterNodesCost
03004881
18214185
done50013785

prune909.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 5.5b

regimes295.0ms

Accuracy

90.5% (0.2b remaining)

Error of 4.4b against oracle of 4.1b and baseline of 6.7b

bsearch140.0ms

Steps
ItersRangePoint
8
108004476408.4436
65272624171154.13
64634667762854.29

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03056
13356
done3356

end0.0ms

sample5.2s

Algorithm
intervals
Results
2.1s11568×body80valid
1.9s11708×body80nan