Details

Time bar (total: 29.9s)

sample113.0ms

Algorithm
intervals
Results
45.0ms122×body160valid
24.0ms134×body80valid

simplify1.3s

Counts
1 → 1
Iterations
IterNodes
done2013
42013
3964
2296
183
026

prune34.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 13.3b

localize58.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ 1 (fma 0.3275911 (fabs x) 1))
0.2b
(/ 1 (fma 0.3275911 (fabs x) 1))
0.4b
(fma (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (+ (/ 1.061405429 (fma 0.3275911 (fabs x) 1)) -1.453152027) (fma 0.3275911 (fabs x) 1)) 1.421413741) -0.284496736) (/ 1 (fma 0.3275911 (fabs x) 1)) 0.254829592)
13.2b
(- 1 (* (/ (/ 1 (fma 0.3275911 (fabs x) 1)) (exp (* (fabs x) (fabs x)))) (fma (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (+ (/ 1.061405429 (fma 0.3275911 (fabs x) 1)) -1.453152027) (fma 0.3275911 (fabs x) 1)) 1.421413741) -0.284496736) (/ 1 (fma 0.3275911 (fabs x) 1)) 0.254829592)))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
22×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
18×times-frac
12×add-exp-log
8×add-cbrt-cube
6×pow1 associate-/r* associate-/l* add-log-exp
4×expm1-log1p-u div-exp insert-posit16 log1p-expm1-u
3×fma-neg prod-diff fma-udef
2×cbrt-undiv rec-exp clear-num frac-2neg 1-exp div-inv pow-flip associate--r+ inv-pow
1×distribute-rgt-in sub-neg distribute-lft-in flip3-- diff-log flip--
Counts
4 → 102
Calls
4 calls:
4.0ms
(/ 1 (fma 0.3275911 (fabs x) 1))
4.0ms
(/ 1 (fma 0.3275911 (fabs x) 1))
0.0ms
(fma (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (+ (/ 1.061405429 (fma 0.3275911 (fabs x) 1)) -1.453152027) (fma 0.3275911 (fabs x) 1)) 1.421413741) -0.284496736) (/ 1 (fma 0.3275911 (fabs x) 1)) 0.254829592)
5.0ms
(- 1 (* (/ (/ 1 (fma 0.3275911 (fabs x) 1)) (exp (* (fabs x) (fabs x)))) (fma (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (+ (/ 1.061405429 (fma 0.3275911 (fabs x) 1)) -1.453152027) (fma 0.3275911 (fabs x) 1)) 1.421413741) -0.284496736) (/ 1 (fma 0.3275911 (fabs x) 1)) 0.254829592)))

series974.0ms

Counts
4 → 12
Calls
4 calls:
34.0ms
(/ 1 (fma 0.3275911 (fabs x) 1))
40.0ms
(/ 1 (fma 0.3275911 (fabs x) 1))
349.0ms
(fma (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (+ (/ 1.061405429 (fma 0.3275911 (fabs x) 1)) -1.453152027) (fma 0.3275911 (fabs x) 1)) 1.421413741) -0.284496736) (/ 1 (fma 0.3275911 (fabs x) 1)) 0.254829592)
551.0ms
(- 1 (* (/ (/ 1 (fma 0.3275911 (fabs x) 1)) (exp (* (fabs x) (fabs x)))) (fma (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (+ (/ 1.061405429 (fma 0.3275911 (fabs x) 1)) -1.453152027) (fma 0.3275911 (fabs x) 1)) 1.421413741) -0.284496736) (/ 1 (fma 0.3275911 (fabs x) 1)) 0.254829592)))

simplify1.7s

Counts
114 → 114
Iterations
IterNodes
done2002
32002
21505
1453
0183

prune1.9s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 13.2b

localize93.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ 1 (fma 0.3275911 (fabs x) 1))
0.4b
(fma (fma (+ (/ (+ -1.453152027 (/ 1.061405429 (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 1.421413741) (/ 1 (fma 0.3275911 (fabs x) 1)) -0.284496736) (/ 1 (fma 0.3275911 (fabs x) 1)) 0.254829592)
13.2b
(- 1 (* (fma (fma (+ (/ (+ -1.453152027 (/ 1.061405429 (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 1.421413741) (/ 1 (fma 0.3275911 (fabs x) 1)) -0.284496736) (/ 1 (fma 0.3275911 (fabs x) 1)) 0.254829592) (/ (/ 1 (fma 0.3275911 (fabs x) 1)) (exp (* (fabs x) (fabs x))))))
13.3b
(log (exp (- 1 (* (fma (fma (+ (/ (+ -1.453152027 (/ 1.061405429 (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 1.421413741) (/ 1 (fma 0.3275911 (fabs x) 1)) -0.284496736) (/ 1 (fma 0.3275911 (fabs x) 1)) 0.254829592) (/ (/ 1 (fma 0.3275911 (fabs x) 1)) (exp (* (fabs x) (fabs x))))))))

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×times-frac
8×log-prod add-exp-log
6×pow1 add-cbrt-cube prod-diff add-log-exp
5×exp-sum
4×expm1-log1p-u log-pow insert-posit16 log1p-expm1-u
3×exp-prod associate-/r* fma-neg associate-/l*
2×sub-neg div-exp
1×cbrt-undiv log-div rec-exp clear-num frac-2neg flip3-- exp-diff diff-log 1-exp rem-log-exp fma-udef div-inv pow-flip flip-- inv-pow
Counts
4 → 90
Calls
4 calls:
16.0ms
(/ 1 (fma 0.3275911 (fabs x) 1))
0.0ms
(fma (fma (+ (/ (+ -1.453152027 (/ 1.061405429 (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 1.421413741) (/ 1 (fma 0.3275911 (fabs x) 1)) -0.284496736) (/ 1 (fma 0.3275911 (fabs x) 1)) 0.254829592)
10.0ms
(- 1 (* (fma (fma (+ (/ (+ -1.453152027 (/ 1.061405429 (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 1.421413741) (/ 1 (fma 0.3275911 (fabs x) 1)) -0.284496736) (/ 1 (fma 0.3275911 (fabs x) 1)) 0.254829592) (/ (/ 1 (fma 0.3275911 (fabs x) 1)) (exp (* (fabs x) (fabs x))))))
18.0ms
(log (exp (- 1 (* (fma (fma (+ (/ (+ -1.453152027 (/ 1.061405429 (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 1.421413741) (/ 1 (fma 0.3275911 (fabs x) 1)) -0.284496736) (/ 1 (fma 0.3275911 (fabs x) 1)) 0.254829592) (/ (/ 1 (fma 0.3275911 (fabs x) 1)) (exp (* (fabs x) (fabs x))))))))

series1.4s

Counts
4 → 12
Calls
4 calls:
43.0ms
(/ 1 (fma 0.3275911 (fabs x) 1))
306.0ms
(fma (fma (+ (/ (+ -1.453152027 (/ 1.061405429 (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 1.421413741) (/ 1 (fma 0.3275911 (fabs x) 1)) -0.284496736) (/ 1 (fma 0.3275911 (fabs x) 1)) 0.254829592)
561.0ms
(- 1 (* (fma (fma (+ (/ (+ -1.453152027 (/ 1.061405429 (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 1.421413741) (/ 1 (fma 0.3275911 (fabs x) 1)) -0.284496736) (/ 1 (fma 0.3275911 (fabs x) 1)) 0.254829592) (/ (/ 1 (fma 0.3275911 (fabs x) 1)) (exp (* (fabs x) (fabs x))))))
521.0ms
(log (exp (- 1 (* (fma (fma (+ (/ (+ -1.453152027 (/ 1.061405429 (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 1.421413741) (/ 1 (fma 0.3275911 (fabs x) 1)) -0.284496736) (/ 1 (fma 0.3275911 (fabs x) 1)) 0.254829592) (/ (/ 1 (fma 0.3275911 (fabs x) 1)) (exp (* (fabs x) (fabs x))))))))

simplify1.7s

Counts
102 → 102
Iterations
IterNodes
done2011
32011
21326
1466
0209

prune1.9s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 13.2b

localize105.0ms

Local error

Found 4 expressions with local error:

13.2b
(- 1 (* (fma (fma (+ (/ (+ -1.453152027 (/ 1.061405429 (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 1.421413741) (/ 1 (fma 0.3275911 (fabs x) 1)) -0.284496736) (/ 1 (fma 0.3275911 (fabs x) 1)) 0.254829592) (/ (/ 1 (fma 0.3275911 (fabs x) 1)) (exp (* (fabs x) (fabs x))))))
13.2b
(- 1 (* (fma (fma (+ (/ (+ -1.453152027 (/ 1.061405429 (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 1.421413741) (/ 1 (fma 0.3275911 (fabs x) 1)) -0.284496736) (/ 1 (fma 0.3275911 (fabs x) 1)) 0.254829592) (/ (/ 1 (fma 0.3275911 (fabs x) 1)) (exp (* (fabs x) (fabs x))))))
13.3b
(log (sqrt (exp (- 1 (* (fma (fma (+ (/ (+ -1.453152027 (/ 1.061405429 (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 1.421413741) (/ 1 (fma 0.3275911 (fabs x) 1)) -0.284496736) (/ 1 (fma 0.3275911 (fabs x) 1)) 0.254829592) (/ (/ 1 (fma 0.3275911 (fabs x) 1)) (exp (* (fabs x) (fabs x)))))))))
13.3b
(log (sqrt (exp (- 1 (* (fma (fma (+ (/ (+ -1.453152027 (/ 1.061405429 (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 1.421413741) (/ 1 (fma 0.3275911 (fabs x) 1)) -0.284496736) (/ 1 (fma 0.3275911 (fabs x) 1)) 0.254829592) (/ (/ 1 (fma 0.3275911 (fabs x) 1)) (exp (* (fabs x) (fabs x)))))))))

rewrite61.0ms

Algorithm
rewrite-expression-head
Rules
22×log-prod
16×add-sqr-sqrt *-un-lft-identity add-cube-cbrt sqrt-prod
12×prod-diff log-pow
10×exp-sum
8×pow1 sqrt-pow1 add-log-exp
6×exp-prod fma-neg add-exp-log
4×expm1-log1p-u sub-neg add-cbrt-cube insert-posit16 log1p-expm1-u
2×log-div flip3-- pow1/2 exp-diff sqrt-div diff-log rem-log-exp flip--
Counts
4 → 100
Calls
4 calls:
9.0ms
(- 1 (* (fma (fma (+ (/ (+ -1.453152027 (/ 1.061405429 (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 1.421413741) (/ 1 (fma 0.3275911 (fabs x) 1)) -0.284496736) (/ 1 (fma 0.3275911 (fabs x) 1)) 0.254829592) (/ (/ 1 (fma 0.3275911 (fabs x) 1)) (exp (* (fabs x) (fabs x))))))
10.0ms
(- 1 (* (fma (fma (+ (/ (+ -1.453152027 (/ 1.061405429 (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 1.421413741) (/ 1 (fma 0.3275911 (fabs x) 1)) -0.284496736) (/ 1 (fma 0.3275911 (fabs x) 1)) 0.254829592) (/ (/ 1 (fma 0.3275911 (fabs x) 1)) (exp (* (fabs x) (fabs x))))))
21.0ms
(log (sqrt (exp (- 1 (* (fma (fma (+ (/ (+ -1.453152027 (/ 1.061405429 (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 1.421413741) (/ 1 (fma 0.3275911 (fabs x) 1)) -0.284496736) (/ 1 (fma 0.3275911 (fabs x) 1)) 0.254829592) (/ (/ 1 (fma 0.3275911 (fabs x) 1)) (exp (* (fabs x) (fabs x)))))))))
20.0ms
(log (sqrt (exp (- 1 (* (fma (fma (+ (/ (+ -1.453152027 (/ 1.061405429 (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 1.421413741) (/ 1 (fma 0.3275911 (fabs x) 1)) -0.284496736) (/ 1 (fma 0.3275911 (fabs x) 1)) 0.254829592) (/ (/ 1 (fma 0.3275911 (fabs x) 1)) (exp (* (fabs x) (fabs x)))))))))

series2.9s

Counts
4 → 12
Calls
4 calls:
536.0ms
(- 1 (* (fma (fma (+ (/ (+ -1.453152027 (/ 1.061405429 (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 1.421413741) (/ 1 (fma 0.3275911 (fabs x) 1)) -0.284496736) (/ 1 (fma 0.3275911 (fabs x) 1)) 0.254829592) (/ (/ 1 (fma 0.3275911 (fabs x) 1)) (exp (* (fabs x) (fabs x))))))
506.0ms
(- 1 (* (fma (fma (+ (/ (+ -1.453152027 (/ 1.061405429 (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 1.421413741) (/ 1 (fma 0.3275911 (fabs x) 1)) -0.284496736) (/ 1 (fma 0.3275911 (fabs x) 1)) 0.254829592) (/ (/ 1 (fma 0.3275911 (fabs x) 1)) (exp (* (fabs x) (fabs x))))))
911.0ms
(log (sqrt (exp (- 1 (* (fma (fma (+ (/ (+ -1.453152027 (/ 1.061405429 (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 1.421413741) (/ 1 (fma 0.3275911 (fabs x) 1)) -0.284496736) (/ 1 (fma 0.3275911 (fabs x) 1)) 0.254829592) (/ (/ 1 (fma 0.3275911 (fabs x) 1)) (exp (* (fabs x) (fabs x)))))))))
969.0ms
(log (sqrt (exp (- 1 (* (fma (fma (+ (/ (+ -1.453152027 (/ 1.061405429 (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 1.421413741) (/ 1 (fma 0.3275911 (fabs x) 1)) -0.284496736) (/ 1 (fma 0.3275911 (fabs x) 1)) 0.254829592) (/ (/ 1 (fma 0.3275911 (fabs x) 1)) (exp (* (fabs x) (fabs x)))))))))

simplify1.8s

Counts
112 → 112
Iterations
IterNodes
done2000
32000
21095
1369
0167

prune3.3s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 9.3b

localize132.0ms

Local error

Found 4 expressions with local error:

0.4b
(fma (fma (+ (/ (+ -1.453152027 (/ 1.061405429 (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 1.421413741) (/ 1 (fma 0.3275911 (fabs x) 1)) -0.284496736) (/ 1 (fma 0.3275911 (fabs x) 1)) 0.254829592)
13.2b
(- 1 (* (fma (fma (+ (/ (+ -1.453152027 (/ 1.061405429 (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 1.421413741) (/ 1 (fma 0.3275911 (fabs x) 1)) -0.284496736) (/ 1 (fma 0.3275911 (fabs x) 1)) 0.254829592) (/ (/ 1 (fma 0.3275911 (fabs x) 1)) (exp (* (fabs x) (fabs x))))))
13.2b
(- 1 (* (fma (fma (+ (/ (+ -1.453152027 (/ 1.061405429 (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 1.421413741) (/ 1 (fma 0.3275911 (fabs x) 1)) -0.284496736) (/ 1 (fma 0.3275911 (fabs x) 1)) 0.254829592) (/ (/ 1 (fma 0.3275911 (fabs x) 1)) (exp (* (fabs x) (fabs x))))))
13.3b
(log (sqrt (exp (- 1 (* (fma (fma (+ (/ (+ -1.453152027 (/ 1.061405429 (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 1.421413741) (/ 1 (fma 0.3275911 (fabs x) 1)) -0.284496736) (/ 1 (fma 0.3275911 (fabs x) 1)) 0.254829592) (/ (/ 1 (fma 0.3275911 (fabs x) 1)) (exp (* (fabs x) (fabs x)))))))))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
11×log-prod
9×prod-diff
8×sqrt-prod add-log-exp
6×pow1 fma-neg log-pow
5×exp-sum add-exp-log
4×expm1-log1p-u sqrt-pow1 add-cbrt-cube insert-posit16 log1p-expm1-u
3×exp-prod sub-neg
2×flip3-- diff-log flip--
1×log-div pow1/2 exp-diff sqrt-div rem-log-exp fma-udef
Counts
4 → 82
Calls
4 calls:
0.0ms
(fma (fma (+ (/ (+ -1.453152027 (/ 1.061405429 (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 1.421413741) (/ 1 (fma 0.3275911 (fabs x) 1)) -0.284496736) (/ 1 (fma 0.3275911 (fabs x) 1)) 0.254829592)
14.0ms
(- 1 (* (fma (fma (+ (/ (+ -1.453152027 (/ 1.061405429 (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 1.421413741) (/ 1 (fma 0.3275911 (fabs x) 1)) -0.284496736) (/ 1 (fma 0.3275911 (fabs x) 1)) 0.254829592) (/ (/ 1 (fma 0.3275911 (fabs x) 1)) (exp (* (fabs x) (fabs x))))))
5.0ms
(- 1 (* (fma (fma (+ (/ (+ -1.453152027 (/ 1.061405429 (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 1.421413741) (/ 1 (fma 0.3275911 (fabs x) 1)) -0.284496736) (/ 1 (fma 0.3275911 (fabs x) 1)) 0.254829592) (/ (/ 1 (fma 0.3275911 (fabs x) 1)) (exp (* (fabs x) (fabs x))))))
10.0ms
(log (sqrt (exp (- 1 (* (fma (fma (+ (/ (+ -1.453152027 (/ 1.061405429 (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 1.421413741) (/ 1 (fma 0.3275911 (fabs x) 1)) -0.284496736) (/ 1 (fma 0.3275911 (fabs x) 1)) 0.254829592) (/ (/ 1 (fma 0.3275911 (fabs x) 1)) (exp (* (fabs x) (fabs x)))))))))

series2.4s

Counts
4 → 12
Calls
4 calls:
351.0ms
(fma (fma (+ (/ (+ -1.453152027 (/ 1.061405429 (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 1.421413741) (/ 1 (fma 0.3275911 (fabs x) 1)) -0.284496736) (/ 1 (fma 0.3275911 (fabs x) 1)) 0.254829592)
510.0ms
(- 1 (* (fma (fma (+ (/ (+ -1.453152027 (/ 1.061405429 (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 1.421413741) (/ 1 (fma 0.3275911 (fabs x) 1)) -0.284496736) (/ 1 (fma 0.3275911 (fabs x) 1)) 0.254829592) (/ (/ 1 (fma 0.3275911 (fabs x) 1)) (exp (* (fabs x) (fabs x))))))
517.0ms
(- 1 (* (fma (fma (+ (/ (+ -1.453152027 (/ 1.061405429 (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 1.421413741) (/ 1 (fma 0.3275911 (fabs x) 1)) -0.284496736) (/ 1 (fma 0.3275911 (fabs x) 1)) 0.254829592) (/ (/ 1 (fma 0.3275911 (fabs x) 1)) (exp (* (fabs x) (fabs x))))))
1.0s
(log (sqrt (exp (- 1 (* (fma (fma (+ (/ (+ -1.453152027 (/ 1.061405429 (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 1.421413741) (/ 1 (fma 0.3275911 (fabs x) 1)) -0.284496736) (/ 1 (fma 0.3275911 (fabs x) 1)) 0.254829592) (/ (/ 1 (fma 0.3275911 (fabs x) 1)) (exp (* (fabs x) (fabs x)))))))))

simplify1.9s

Counts
94 → 94
Iterations
IterNodes
done2002
32002
21296
1419
0190

prune2.3s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 8.9b

regimes265.0ms

Accuracy

0% (0.9b remaining)

Error of 9.9b against oracle of 9.1b and baseline of 9.9b

bsearch0.0ms

simplify19.0ms

Iterations
IterNodes
done38
138
031

end0.0ms

sample3.4s

Algorithm
intervals
Results
2.3s3865×body160valid
978.0ms4135×body80valid