Details

Time bar (total: 14.8s)

sample46.0ms

Algorithm
intervals
Results
16.0ms128×body160valid
8.0ms128×body80valid

simplify2.0s

Counts
1 → 1
Iterations

Useful iterations: 3 (159.0ms)

IterNodesCost
02664
18264
230955
399154
4417254
done500054

prune12.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 14.2b

localize19.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ 1.0 (fma (fabs x) 0.3275911 1.0))
0.1b
(/ 1.0 (fma (fabs x) 0.3275911 1.0))
0.5b
(fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592)
14.1b
(fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (- (/ (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592) (exp (* (fabs x) (fabs x))))) 1.0)

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
18×times-frac
8×add-exp-log add-cbrt-cube
6×associate-/r* associate-/l*
4×pow1 expm1-log1p-u log1p-expm1-u add-log-exp
2×cbrt-undiv frac-2neg div-exp clear-num fma-udef div-inv
Counts
4 → 78
Calls
4 calls:
5.0ms
(/ 1.0 (fma (fabs x) 0.3275911 1.0))
9.0ms
(/ 1.0 (fma (fabs x) 0.3275911 1.0))
0.0ms
(fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592)
0.0ms
(fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (- (/ (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592) (exp (* (fabs x) (fabs x))))) 1.0)

series637.0ms

Counts
4 → 12
Calls
4 calls:
28.0ms
(/ 1.0 (fma (fabs x) 0.3275911 1.0))
25.0ms
(/ 1.0 (fma (fabs x) 0.3275911 1.0))
194.0ms
(fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592)
390.0ms
(fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (- (/ (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592) (exp (* (fabs x) (fabs x))))) 1.0)

simplify1.1s

Counts
90 → 90
Iterations

Useful iterations: done (1.1s)

IterNodesCost
01382422
12952317
27922068
327682038
done50002032

prune380.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 14.1b

localize29.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ 1.0 (fma (fabs x) 0.3275911 1.0))
0.5b
(fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592)
14.1b
(fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (- (/ (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592) (exp (pow (fabs x) 2)))) 1.0)
14.1b
(log (exp (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (- (/ (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592) (exp (pow (fabs x) 2)))) 1.0)))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
9×times-frac
6×add-exp-log add-cbrt-cube
5×pow1
4×expm1-log1p-u log-prod log-pow log1p-expm1-u add-log-exp
3×exp-prod associate-/r* fma-udef associate-/l*
1×cbrt-undiv frac-2neg div-exp rem-log-exp exp-sum clear-num div-inv
Counts
4 → 67
Calls
4 calls:
5.0ms
(/ 1.0 (fma (fabs x) 0.3275911 1.0))
0.0ms
(fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592)
0.0ms
(fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (- (/ (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592) (exp (pow (fabs x) 2)))) 1.0)
3.0ms
(log (exp (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (- (/ (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592) (exp (pow (fabs x) 2)))) 1.0)))

series1.0s

Counts
4 → 12
Calls
4 calls:
25.0ms
(/ 1.0 (fma (fabs x) 0.3275911 1.0))
202.0ms
(fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592)
394.0ms
(fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (- (/ (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592) (exp (pow (fabs x) 2)))) 1.0)
393.0ms
(log (exp (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (- (/ (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592) (exp (pow (fabs x) 2)))) 1.0)))

simplify1.2s

Counts
79 → 79
Iterations

Useful iterations: done (1.2s)

IterNodesCost
01633591
13243455
28313050
327062986
done50002974

prune408.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 14.1b

localize21.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ 1.0 (fma (fabs x) 0.3275911 1.0))
0.1b
(/ 1.0 (fma (fabs x) 0.3275911 1.0))
0.5b
(fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592)
14.1b
(+ (* (- (/ (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592) (exp (pow (fabs x) 2)))) (/ 1.0 (fma (fabs x) 0.3275911 1.0))) 1.0)

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
18×times-frac
8×add-exp-log add-cbrt-cube
6×associate-/r* associate-/l* add-log-exp
4×pow1 expm1-log1p-u log1p-expm1-u
2×cbrt-undiv frac-2neg div-exp clear-num div-inv
1×+-commutative fma-def flip3-+ sum-log flip-+ fma-udef
Counts
4 → 82
Calls
4 calls:
5.0ms
(/ 1.0 (fma (fabs x) 0.3275911 1.0))
5.0ms
(/ 1.0 (fma (fabs x) 0.3275911 1.0))
0.0ms
(fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592)
16.0ms
(+ (* (- (/ (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592) (exp (pow (fabs x) 2)))) (/ 1.0 (fma (fabs x) 0.3275911 1.0))) 1.0)

series625.0ms

Counts
4 → 12
Calls
4 calls:
25.0ms
(/ 1.0 (fma (fabs x) 0.3275911 1.0))
25.0ms
(/ 1.0 (fma (fabs x) 0.3275911 1.0))
202.0ms
(fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592)
373.0ms
(+ (* (- (/ (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592) (exp (pow (fabs x) 2)))) (/ 1.0 (fma (fabs x) 0.3275911 1.0))) 1.0)

simplify1.7s

Counts
94 → 94
Iterations

Useful iterations: done (1.7s)

IterNodesCost
01482810
13532696
210942440
343632362
done50002356

prune426.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 14.1b

localize40.0ms

Local error

Found 4 expressions with local error:

0.5b
(fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592)
0.5b
(* (* (- (/ (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592) (exp (pow (fabs x) 2)))) (/ 1.0 (fma (fabs x) 0.3275911 1.0))) (fma (/ (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592) (exp (pow (fabs x) 2))) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.0))
0.8b
(pow (/ (* (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592) (/ 1.0 (fma (fabs x) 0.3275911 1.0))) (exp (pow (fabs x) 2))) 3)
13.6b
(- (pow 1.0 3) (pow (/ (* (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592) (/ 1.0 (fma (fabs x) 0.3275911 1.0))) (exp (pow (fabs x) 2))) 3))

rewrite147.0ms

Algorithm
rewrite-expression-head
Rules
240×prod-diff
166×unpow-prod-down cube-prod
157×add-sqr-sqrt
143×*-un-lft-identity
133×add-cube-cbrt
78×times-frac
42×sqr-pow
34×cube-mult unpow3
26×div-inv
23×add-cbrt-cube
20×add-exp-log
16×difference-of-squares
12×fma-neg
10×pow1
7×prod-exp cbrt-unprod
6×add-log-exp
5×cbrt-undiv div-exp distribute-lft-out--
4×expm1-log1p-u associate-*l/ pow-exp log1p-expm1-u rem-cube-cbrt
3×pow-unpow associate-*r* pow-prod-down fma-udef
2×distribute-lft-neg-out distribute-neg-frac
1×difference-cubes cube-div distribute-rgt-in frac-times pow-to-exp sub-neg flip3-- pow-pow distribute-lft-in diff-log associate-*r/ associate-*l* *-commutative flip--
Counts
4 → 366
Calls
4 calls:
0.0ms
(fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592)
54.0ms
(* (* (- (/ (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592) (exp (pow (fabs x) 2)))) (/ 1.0 (fma (fabs x) 0.3275911 1.0))) (fma (/ (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592) (exp (pow (fabs x) 2))) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.0))
18.0ms
(pow (/ (* (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592) (/ 1.0 (fma (fabs x) 0.3275911 1.0))) (exp (pow (fabs x) 2))) 3)
55.0ms
(- (pow 1.0 3) (pow (/ (* (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592) (/ 1.0 (fma (fabs x) 0.3275911 1.0))) (exp (pow (fabs x) 2))) 3))

series2.2s

Counts
4 → 12
Calls
4 calls:
199.0ms
(fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592)
858.0ms
(* (* (- (/ (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592) (exp (pow (fabs x) 2)))) (/ 1.0 (fma (fabs x) 0.3275911 1.0))) (fma (/ (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592) (exp (pow (fabs x) 2))) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.0))
465.0ms
(pow (/ (* (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592) (/ 1.0 (fma (fabs x) 0.3275911 1.0))) (exp (pow (fabs x) 2))) 3)
633.0ms
(- (pow 1.0 3) (pow (/ (* (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592) (/ 1.0 (fma (fabs x) 0.3275911 1.0))) (exp (pow (fabs x) 2))) 3))

simplify740.0ms

Counts
378 → 378
Iterations

Useful iterations: done (693.0ms)

IterNodesCost
055483869
1145154665
done500039409

prune856.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 13.3b

regimes236.0ms

Accuracy

0% (0.0b remaining)

Error of 13.3b against oracle of 13.3b and baseline of 13.3b

bsearch0.0ms

simplify8.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
034169
141169
249169
355169
done55169

end0.0ms

sample942.0ms

Algorithm
intervals
Results
521.0ms4004×body160valid
270.0ms3996×body80valid