Details

Time bar (total: 49.4s)

sample154.0ms

Algorithm
intervals
Results
81.0ms129×body160valid
31.0ms127×body80valid

simplify2.3s

Counts
1 → 1
Iterations
IterNodes
44234
3920
2285
181
026

prune36.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 14.3b

localize65.0ms

Local error

Found 4 expressions with local error:

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

rewrite84.0ms

Algorithm
rewrite-expression-head
Rules
30×add-sqr-sqrt
24×*-un-lft-identity
23×add-cube-cbrt
20×times-frac
17×add-exp-log
15×associate-*l*
11×add-cbrt-cube
8×add-log-exp
7×pow1
5×flip3-+ flip-+
4×expm1-log1p-u div-exp prod-exp associate-/r/ insert-posit16 log1p-expm1-u
3×associate-/r* fma-def fma-neg associate-*r* prod-diff associate-/l* unswap-sqr
2×distribute-rgt-in frac-times cbrt-undiv rec-exp associate-+r+ distribute-lft-in 1-exp associate-*r/ cbrt-unprod div-inv
1×+-commutative clear-num sum-log sub-neg frac-2neg flip3-- diff-log pow-prod-down associate-*l/ *-commutative pow-flip flip-- inv-pow
Counts
4 → 122
Calls
4 calls:
14.0ms
(/ 1 (+ 1 (* 0.3275911 (fabs x))))
46.0ms
(* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) 1.061405429)))))
11.0ms
(+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) 1.061405429))))))))
9.0ms
(- 1 (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))

series1.8s

Counts
4 → 12
Calls
4 calls:
45.0ms
(/ 1 (+ 1 (* 0.3275911 (fabs x))))
198.0ms
(* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) 1.061405429)))))
425.0ms
(+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) 1.061405429))))))))
1.1s
(- 1 (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))

simplify2.2s

Counts
134 → 134
Iterations
IterNodes
23143
1851
0252

prune2.3s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 14.2b

localize76.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ 1 (+ 1 (* 0.3275911 (fabs x))))
0.1b
(/ 1 (+ 1 (* 0.3275911 (fabs x))))
0.2b
(* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) 1.061405429)))))
14.2b
(- 1 (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ (+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) -0.284496736)) (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) 1.061405429)))))))) (exp (- (* (fabs x) (fabs x))))))

rewrite57.0ms

Algorithm
rewrite-expression-head
Rules
37×add-sqr-sqrt
31×*-un-lft-identity
30×add-cube-cbrt
29×times-frac
21×add-exp-log
15×associate-*l*
13×add-cbrt-cube
8×pow1
6×associate-/r* div-exp associate-/r/ associate-/l* add-log-exp
5×flip3-+ flip-+
4×expm1-log1p-u prod-exp insert-posit16 log1p-expm1-u
3×cbrt-undiv rec-exp fma-neg 1-exp associate-*r* prod-diff div-inv unswap-sqr
2×frac-times clear-num frac-2neg associate-*r/ cbrt-unprod pow-flip inv-pow
1×distribute-rgt-in sub-neg distribute-lft-in flip3-- diff-log pow-prod-down associate-*l/ *-commutative flip--
Counts
4 → 139
Calls
4 calls:
7.0ms
(/ 1 (+ 1 (* 0.3275911 (fabs x))))
7.0ms
(/ 1 (+ 1 (* 0.3275911 (fabs x))))
35.0ms
(* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) 1.061405429)))))
5.0ms
(- 1 (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ (+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) -0.284496736)) (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) 1.061405429)))))))) (exp (- (* (fabs x) (fabs x))))))

series1.4s

Counts
4 → 12
Calls
4 calls:
29.0ms
(/ 1 (+ 1 (* 0.3275911 (fabs x))))
33.0ms
(/ 1 (+ 1 (* 0.3275911 (fabs x))))
185.0ms
(* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) 1.061405429)))))
1.2s
(- 1 (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ (+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) -0.284496736)) (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) 1.061405429)))))))) (exp (- (* (fabs x) (fabs x))))))

simplify2.0s

Counts
151 → 151
Iterations
IterNodes
22715
1732
0216

prune2.6s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 14.2b

localize96.0ms

Local error

Found 4 expressions with local error:

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

rewrite58.0ms

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

series1.8s

Counts
4 → 12
Calls
4 calls:
42.0ms
(/ 1.061405429 (fma (fabs x) 0.3275911 1))
301.0ms
(+ (* (/ 1 (fma (fabs x) 0.3275911 1)) (+ -0.284496736 (* (fma (/ 1 (fma (fabs x) 0.3275911 1)) (+ -1.453152027 (/ 1.061405429 (fma (fabs x) 0.3275911 1))) 1.421413741) (/ 1 (fma (fabs x) 0.3275911 1))))) 0.254829592)
727.0ms
(- 1 (* (/ (/ 1 (fma (fabs x) 0.3275911 1)) (exp (* (fabs x) (fabs x)))) (+ (* (/ 1 (fma (fabs x) 0.3275911 1)) (+ -0.284496736 (* (fma (/ 1 (fma (fabs x) 0.3275911 1)) (+ -1.453152027 (/ 1.061405429 (fma (fabs x) 0.3275911 1))) 1.421413741) (/ 1 (fma (fabs x) 0.3275911 1))))) 0.254829592)))
721.0ms
(log (exp (- 1 (* (/ (/ 1 (fma (fabs x) 0.3275911 1)) (exp (* (fabs x) (fabs x)))) (+ (* (/ 1 (fma (fabs x) 0.3275911 1)) (+ -0.284496736 (* (fma (/ 1 (fma (fabs x) 0.3275911 1)) (+ -1.453152027 (/ 1.061405429 (fma (fabs x) 0.3275911 1))) 1.421413741) (/ 1 (fma (fabs x) 0.3275911 1))))) 0.254829592)))))

simplify12.5s

Counts
106 → 106
Iterations
IterNodes
38727
21901
1569
0238

prune2.1s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 14.2b

localize156.0ms

Local error

Found 4 expressions with local error:

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

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
24×log-prod
15×add-sqr-sqrt *-un-lft-identity exp-sum add-cube-cbrt
12×prod-diff log-pow
9×exp-prod
7×pow1
6×add-log-exp
4×expm1-log1p-u sub-neg add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u
3×log-div exp-diff fma-neg rem-log-exp
2×associate--r+
1×distribute-rgt-in distribute-lft-in flip3-- diff-log flip--
Counts
4 → 95
Calls
4 calls:
9.0ms
(- 1 (* (/ (/ 1 (fma (fabs x) 0.3275911 1)) (exp (* (fabs x) (fabs x)))) (+ (* (/ 1 (fma (fabs x) 0.3275911 1)) (+ -0.284496736 (* (fma (/ 1 (fma (fabs x) 0.3275911 1)) (+ -1.453152027 (/ 1.061405429 (fma (fabs x) 0.3275911 1))) 1.421413741) (/ 1 (fma (fabs x) 0.3275911 1))))) 0.254829592)))
12.0ms
(log (exp (- 1 (* (/ (/ 1 (fma (fabs x) 0.3275911 1)) (exp (* (fabs x) (fabs x)))) (+ (* (/ 1 (fma (fabs x) 0.3275911 1)) (+ -0.284496736 (* (fma (/ 1 (fma (fabs x) 0.3275911 1)) (+ -1.453152027 (/ 1.061405429 (fma (fabs x) 0.3275911 1))) 1.421413741) (/ 1 (fma (fabs x) 0.3275911 1))))) 0.254829592)))))
9.0ms
(log (exp (- 1 (* (/ (/ 1 (fma (fabs x) 0.3275911 1)) (exp (* (fabs x) (fabs x)))) (+ (* (/ 1 (fma (fabs x) 0.3275911 1)) (+ -0.284496736 (* (fma (/ 1 (fma (fabs x) 0.3275911 1)) (+ -1.453152027 (/ 1.061405429 (fma (fabs x) 0.3275911 1))) 1.421413741) (/ 1 (fma (fabs x) 0.3275911 1))))) 0.254829592)))))
10.0ms
(log (exp (- 1 (* (/ (/ 1 (fma (fabs x) 0.3275911 1)) (exp (* (fabs x) (fabs x)))) (+ (* (/ 1 (fma (fabs x) 0.3275911 1)) (+ -0.284496736 (* (fma (/ 1 (fma (fabs x) 0.3275911 1)) (+ -1.453152027 (/ 1.061405429 (fma (fabs x) 0.3275911 1))) 1.421413741) (/ 1 (fma (fabs x) 0.3275911 1))))) 0.254829592)))))

series2.7s

Counts
4 → 12
Calls
4 calls:
658.0ms
(- 1 (* (/ (/ 1 (fma (fabs x) 0.3275911 1)) (exp (* (fabs x) (fabs x)))) (+ (* (/ 1 (fma (fabs x) 0.3275911 1)) (+ -0.284496736 (* (fma (/ 1 (fma (fabs x) 0.3275911 1)) (+ -1.453152027 (/ 1.061405429 (fma (fabs x) 0.3275911 1))) 1.421413741) (/ 1 (fma (fabs x) 0.3275911 1))))) 0.254829592)))
729.0ms
(log (exp (- 1 (* (/ (/ 1 (fma (fabs x) 0.3275911 1)) (exp (* (fabs x) (fabs x)))) (+ (* (/ 1 (fma (fabs x) 0.3275911 1)) (+ -0.284496736 (* (fma (/ 1 (fma (fabs x) 0.3275911 1)) (+ -1.453152027 (/ 1.061405429 (fma (fabs x) 0.3275911 1))) 1.421413741) (/ 1 (fma (fabs x) 0.3275911 1))))) 0.254829592)))))
655.0ms
(log (exp (- 1 (* (/ (/ 1 (fma (fabs x) 0.3275911 1)) (exp (* (fabs x) (fabs x)))) (+ (* (/ 1 (fma (fabs x) 0.3275911 1)) (+ -0.284496736 (* (fma (/ 1 (fma (fabs x) 0.3275911 1)) (+ -1.453152027 (/ 1.061405429 (fma (fabs x) 0.3275911 1))) 1.421413741) (/ 1 (fma (fabs x) 0.3275911 1))))) 0.254829592)))))
679.0ms
(log (exp (- 1 (* (/ (/ 1 (fma (fabs x) 0.3275911 1)) (exp (* (fabs x) (fabs x)))) (+ (* (/ 1 (fma (fabs x) 0.3275911 1)) (+ -0.284496736 (* (fma (/ 1 (fma (fabs x) 0.3275911 1)) (+ -1.453152027 (/ 1.061405429 (fma (fabs x) 0.3275911 1))) 1.421413741) (/ 1 (fma (fabs x) 0.3275911 1))))) 0.254829592)))))

simplify8.1s

Counts
107 → 107
Iterations
IterNodes
35511
21224
1369
0151

prune3.2s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 13.4b

regimes197.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify36.0ms

Iterations
IterNodes
242
142
034

end0.0ms

sample3.5s

Algorithm
intervals
Results
2.0s3993×body160valid
1.4s4007×body80valid