Details

Time bar (total: 21.1s)

sample54.0ms

Algorithm
intervals
Results
19.0ms121×body160valid
10.0ms135×body80valid

simplify904.0ms

Counts
1 → 1
Iterations
IterNodes
done5000
31203
2313
182
026

prune36.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 13.3b

localize115.0ms

Local error

Found 4 expressions with local error:

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

rewrite41.0ms

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

series1.8s

Counts
4 → 12
Calls
4 calls:
45.0ms
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
58.0ms
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
493.0ms
(+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))
1.2s
(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))

simplify1.4s

Counts
112 → 112
Iterations
IterNodes
done5002
22627
1496
0177

prune1.1s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 13.2b

localize116.0ms

Local error

Found 4 expressions with local error:

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

rewrite31.0ms

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

series1.9s

Counts
4 → 12
Calls
4 calls:
42.0ms
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
514.0ms
(+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (log (exp (/ 1.0 (fma (fabs x) 0.3275911 1.0)))) 1.061405429))))))))
41.0ms
(log (exp (/ 1.0 (fma (fabs x) 0.3275911 1.0))))
1.3s
(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (log (exp (/ 1.0 (fma (fabs x) 0.3275911 1.0)))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))

simplify1.4s

Counts
108 → 108
Iterations
IterNodes
done5000
22628
1571
0234

prune1.1s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 13.2b

localize120.0ms

Local error

Found 4 expressions with local error:

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

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
30×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
27×times-frac
14×log-pow
13×exp-prod
8×add-cbrt-cube add-exp-log
6×associate-/r* associate-/l* add-log-exp
5×pow1
4×expm1-log1p-u associate-/r/ log1p-expm1-u
3×log-prod fma-neg prod-diff div-inv
2×cbrt-undiv clear-num frac-2neg flip3-+ div-exp flip-+
1×sub-neg flip3-- diff-log rem-log-exp flip--
Counts
4 → 109
Calls
4 calls:
13.0ms
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
12.0ms
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
7.0ms
(log (exp (/ 1.0 (fma (fabs x) 0.3275911 1.0))))
5.0ms
(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ (fma -0.284496736 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592) (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (log (exp (/ 1.0 (fma (fabs x) 0.3275911 1.0)))) 1.061405429))))) (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))))) (exp (- (* (fabs x) (fabs x))))))

series1.4s

Counts
4 → 12
Calls
4 calls:
58.0ms
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
55.0ms
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
50.0ms
(log (exp (/ 1.0 (fma (fabs x) 0.3275911 1.0))))
1.2s
(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ (fma -0.284496736 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592) (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (log (exp (/ 1.0 (fma (fabs x) 0.3275911 1.0)))) 1.061405429))))) (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))))) (exp (- (* (fabs x) (fabs x))))))

simplify1.0s

Counts
121 → 121
Iterations
IterNodes
done5001
21999
1451
0198

prune1.5s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 13.2b

localize80.0ms

Local error

Found 4 expressions with local error:

0.2b
(pow (fma 0.3275911 (fabs x) 1.0) 3)
0.2b
(pow (fma 0.3275911 (fabs x) 1.0) 5)
0.2b
(pow (fma 0.3275911 (fabs x) 1.0) 2)
13.2b
(- (fma (/ (exp (- (pow (fabs x) 2))) (pow (fma 0.3275911 (fabs x) 1.0) 4)) 1.453152027 (fma (/ (exp (- (pow (fabs x) 2))) (pow (fma 0.3275911 (fabs x) 1.0) 2)) 0.284496736 1.0)) (fma 1.061405429 (/ (exp (- (pow (fabs x) 2))) (pow (fma 0.3275911 (fabs x) 1.0) 5)) (fma (/ (exp (- (pow (fabs x) 2))) (fma 0.3275911 (fabs x) 1.0)) 0.254829592 (/ (* 1.421413741 (exp (- (pow (fabs x) 2)))) (pow (fma 0.3275911 (fabs x) 1.0) 3)))))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt *-un-lft-identity
18×add-cube-cbrt
9×pow-unpow unpow-prod-down prod-diff
7×pow1 add-exp-log
6×add-log-exp
5×add-cbrt-cube
4×expm1-log1p-u log1p-expm1-u
3×pow-to-exp pow-pow fma-neg cube-prod pow-exp sqr-pow
2×fma-udef
1×cube-mult sub-neg flip3-- diff-log unpow3 associate--l+ flip-- associate--r+ distribute-lft-out-- unpow2 rem-cube-cbrt difference-of-squares
Counts
4 → 94
Calls
4 calls:
2.0ms
(pow (fma 0.3275911 (fabs x) 1.0) 3)
2.0ms
(pow (fma 0.3275911 (fabs x) 1.0) 5)
2.0ms
(pow (fma 0.3275911 (fabs x) 1.0) 2)
6.0ms
(- (fma (/ (exp (- (pow (fabs x) 2))) (pow (fma 0.3275911 (fabs x) 1.0) 4)) 1.453152027 (fma (/ (exp (- (pow (fabs x) 2))) (pow (fma 0.3275911 (fabs x) 1.0) 2)) 0.284496736 1.0)) (fma 1.061405429 (/ (exp (- (pow (fabs x) 2))) (pow (fma 0.3275911 (fabs x) 1.0) 5)) (fma (/ (exp (- (pow (fabs x) 2))) (fma 0.3275911 (fabs x) 1.0)) 0.254829592 (/ (* 1.421413741 (exp (- (pow (fabs x) 2)))) (pow (fma 0.3275911 (fabs x) 1.0) 3)))))

series1.5s

Counts
4 → 12
Calls
4 calls:
74.0ms
(pow (fma 0.3275911 (fabs x) 1.0) 3)
88.0ms
(pow (fma 0.3275911 (fabs x) 1.0) 5)
42.0ms
(pow (fma 0.3275911 (fabs x) 1.0) 2)
1.3s
(- (fma (/ (exp (- (pow (fabs x) 2))) (pow (fma 0.3275911 (fabs x) 1.0) 4)) 1.453152027 (fma (/ (exp (- (pow (fabs x) 2))) (pow (fma 0.3275911 (fabs x) 1.0) 2)) 0.284496736 1.0)) (fma 1.061405429 (/ (exp (- (pow (fabs x) 2))) (pow (fma 0.3275911 (fabs x) 1.0) 5)) (fma (/ (exp (- (pow (fabs x) 2))) (fma 0.3275911 (fabs x) 1.0)) 0.254829592 (/ (* 1.421413741 (exp (- (pow (fabs x) 2)))) (pow (fma 0.3275911 (fabs x) 1.0) 3)))))

simplify1.9s

Counts
106 → 106
Iterations
IterNodes
done5000
22295
1492
0180

prune889.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 13.2b

regimes189.0ms

Accuracy

0% (0.1b remaining)

Error of 13.8b against oracle of 13.7b and baseline of 13.8b

bsearch0.0ms

simplify4.0ms

Iterations
IterNodes
done46
146
032

end0.0ms

sample2.6s

Algorithm
intervals
Results
1.7s3898×body160valid
667.0ms4102×body80valid