Details

Time bar (total: 56.2s)

sample133.0ms

Algorithm
intervals
Results
54.0ms106×body160valid
24.0ms150×body80valid

simplify3.4s

Counts
1 → 1
Iterations
IterNodes
done5001
3971
2291
182
026

prune42.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 11.8b

localize168.0ms

Local error

Found 4 expressions with local error:

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

rewrite96.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 add-log-exp
6×associate-/r* associate-/l*
4×pow1 associate-/r/
3×flip3-+ flip-+
2×cbrt-undiv associate-+r+ frac-2neg div-exp clear-num div-inv
1×+-commutative distribute-rgt-in sub-neg flip3-- distribute-lft-in diff-log sum-log flip--
Counts
4 → 83
Calls
4 calls:
32.0ms
(/ 1.0 (+ (* (fabs x) 0.3275911) 1.0))
29.0ms
(/ 1.0 (+ (* (fabs x) 0.3275911) 1.0))
19.0ms
(+ 0.254829592 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ 1.421413741 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (* 1.061405429 (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0))) -1.453152027)))) -0.284496736)))
11.0ms
(- 1.0 (* (+ 0.254829592 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ 1.421413741 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (* 1.061405429 (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0))) -1.453152027)))) -0.284496736))) (/ (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (exp (* (fabs x) (fabs x))))))

series2.4s

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

simplify5.9s

Counts
95 → 95
Iterations
IterNodes
done5002
22078
1472
0171

prune1.2s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 11.7b

localize224.0ms

Local error

Found 4 expressions with local error:

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

rewrite121.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
18×times-frac
16×log-pow
15×exp-prod
8×add-log-exp
6×add-exp-log add-cbrt-cube
5×pow1
4×associate-/r/
3×log-prod flip3-+ associate-/r* flip-+ associate-/l*
2×associate-+r+ div-inv
1×cbrt-undiv +-commutative distribute-rgt-in sub-neg flip3-- frac-2neg distribute-lft-in diff-log div-exp rem-log-exp clear-num sum-log flip--
Counts
4 → 81
Calls
4 calls:
27.0ms
(/ 1.0 (+ (* (fabs x) 0.3275911) 1.0))
17.0ms
(+ 0.254829592 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ 1.421413741 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (* 1.061405429 (log (exp (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0))))) -1.453152027)))) -0.284496736)))
56.0ms
(log (exp (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0))))
15.0ms
(- 1.0 (* (+ 0.254829592 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ 1.421413741 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (* 1.061405429 (log (exp (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0))))) -1.453152027)))) -0.284496736))) (/ (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (exp (* (fabs x) (fabs x))))))

series2.3s

Counts
4 → 12
Calls
4 calls:
54.0ms
(/ 1.0 (+ (* (fabs x) 0.3275911) 1.0))
656.0ms
(+ 0.254829592 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ 1.421413741 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (* 1.061405429 (log (exp (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0))))) -1.453152027)))) -0.284496736)))
64.0ms
(log (exp (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0))))
1.6s
(- 1.0 (* (+ 0.254829592 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ 1.421413741 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (* 1.061405429 (log (exp (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0))))) -1.453152027)))) -0.284496736))) (/ (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (exp (* (fabs x) (fabs x))))))

simplify4.9s

Counts
93 → 93
Iterations
IterNodes
done5005
22258
1537
0215

prune1.4s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 11.7b

localize743.0ms

Local error

Found 4 expressions with local error:

3.0b
(log (exp (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0))))
3.0b
(log (exp (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0))))
3.0b
(log (exp (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0))))
11.3b
(- (pow 1.0 3) (pow (* (+ 0.254829592 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ 1.421413741 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (* 1.061405429 (log (exp (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0))))) -1.453152027)))) -0.284496736))) (/ (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (exp (* (fabs x) (fabs x))))) 3))

rewrite286.0ms

Algorithm
rewrite-expression-head
Rules
48×log-pow
45×exp-prod
38×add-sqr-sqrt
30×*-un-lft-identity
28×add-cube-cbrt
27×times-frac
9×log-prod
8×difference-of-squares
7×pow1
6×associate-/r/ add-log-exp sqr-pow
4×add-exp-log add-cbrt-cube
3×flip3-+ rem-log-exp flip-+ div-inv
2×unpow-prod-down cube-prod
1×difference-cubes sub-neg flip3-- diff-log flip-- distribute-lft-out--
Counts
4 → 103
Calls
4 calls:
100.0ms
(log (exp (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0))))
69.0ms
(log (exp (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0))))
46.0ms
(log (exp (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0))))
35.0ms
(- (pow 1.0 3) (pow (* (+ 0.254829592 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ 1.421413741 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (* 1.061405429 (log (exp (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0))))) -1.453152027)))) -0.284496736))) (/ (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (exp (* (fabs x) (fabs x))))) 3))

series6.8s

Counts
4 → 12
Calls
4 calls:
66.0ms
(log (exp (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0))))
59.0ms
(log (exp (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0))))
65.0ms
(log (exp (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0))))
6.6s
(- (pow 1.0 3) (pow (* (+ 0.254829592 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ 1.421413741 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (* 1.061405429 (log (exp (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0))))) -1.453152027)))) -0.284496736))) (/ (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (exp (* (fabs x) (fabs x))))) 3))

simplify6.7s

Counts
115 → 115
Iterations
IterNodes
done5016
22692
1705
0281

prune3.2s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 11.1b

localize860.0ms

Local error

Found 4 expressions with local error:

3.0b
(log (exp (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0))))
3.0b
(log (exp (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0))))
3.0b
(log (exp (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0))))
11.3b
(- (pow (sqrt 1.0) 3) (sqrt (pow (* (+ 0.254829592 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ 1.421413741 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (* 1.061405429 (log (exp (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0))))) -1.453152027)))) -0.284496736))) (/ (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (exp (* (fabs x) (fabs x))))) 3)))

rewrite276.0ms

Algorithm
rewrite-expression-head
Rules
55×add-sqr-sqrt
48×log-pow
45×exp-prod
30×*-un-lft-identity
28×add-cube-cbrt
27×times-frac
18×sqrt-prod difference-of-squares
9×log-prod sqr-pow
7×pow1
6×unpow-prod-down cube-prod associate-/r/ add-log-exp
4×add-exp-log add-cbrt-cube
3×flip3-+ rem-log-exp flip-+ div-inv
1×sub-neg flip3-- diff-log flip-- distribute-lft-out--
Counts
4 → 112
Calls
4 calls:
65.0ms
(log (exp (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0))))
58.0ms
(log (exp (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0))))
60.0ms
(log (exp (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0))))
81.0ms
(- (pow (sqrt 1.0) 3) (sqrt (pow (* (+ 0.254829592 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ 1.421413741 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (* 1.061405429 (log (exp (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0))))) -1.453152027)))) -0.284496736))) (/ (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (exp (* (fabs x) (fabs x))))) 3)))

series2.1s

Counts
4 → 12
Calls
4 calls:
108.0ms
(log (exp (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0))))
63.0ms
(log (exp (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0))))
57.0ms
(log (exp (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0))))
1.9s
(- (pow (sqrt 1.0) 3) (sqrt (pow (* (+ 0.254829592 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ 1.421413741 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (* 1.061405429 (log (exp (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0))))) -1.453152027)))) -0.284496736))) (/ (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (exp (* (fabs x) (fabs x))))) 3)))

simplify5.8s

Counts
124 → 124
Iterations
IterNodes
done5002
21735
1491
0211

prune3.1s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 11.0b

regimes632.0ms

Accuracy

0% (0.1b remaining)

Error of 12.9b against oracle of 12.8b and baseline of 12.9b

bsearch0.0ms

simplify64.0ms

Iterations
IterNodes
done67
167
048

end0.0ms

sample3.4s

Algorithm
intervals
Results
2.2s3873×body160valid
939.0ms4127×body80valid