Details

Time bar (total: 24.2s)

sample238.0ms

Algorithm
intervals
Results
95.0ms54×body1280valid
43.0ms329×body80valid
42.0ms57×body10240exit
23.0ms45×body640valid
7.0ms20×body320valid
1.0ms5×body160valid

simplify1.5s

Counts
1 → 1
Iterations
IterNodes
done5001
41521
3381
2122
148
019

prune17.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 29.4b

localize76.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ 1 (/ 1 eps)) (exp (- (* (- 1 eps) x))))
0.0b
(* (+ 1 eps) x)
0.0b
(* (- 1 eps) x)
1.0b
(- (* (+ 1 (/ 1 eps)) (exp (- (* (- 1 eps) x)))) (* (- (/ 1 eps) 1) (exp (- (* (+ 1 eps) x)))))

rewrite157.0ms

Algorithm
rewrite-expression-head
Rules
81×frac-sub
76×exp-neg frac-times
57×neg-sub0 exp-diff
42×associate-*l/
38×associate-*r/
31×flip3-+ flip-+
29×flip3-- flip--
19×add-sqr-sqrt un-div-inv
18×*-un-lft-identity
15×associate-*l*
10×pow1 add-cbrt-cube add-cube-cbrt
9×associate-*r* add-exp-log
6×add-log-exp
4×insert-posit16
3×pow-prod-down prod-exp *-commutative cbrt-unprod distribute-lft-out unswap-sqr
2×difference-of-squares
1×sub-neg diff-log div-inv distribute-lft-out--
Counts
4 → 170
Calls
4 calls:
57.0ms
(* (+ 1 (/ 1 eps)) (exp (- (* (- 1 eps) x))))
19.0ms
(* (+ 1 eps) x)
25.0ms
(* (- 1 eps) x)
48.0ms
(- (* (+ 1 (/ 1 eps)) (exp (- (* (- 1 eps) x)))) (* (- (/ 1 eps) 1) (exp (- (* (+ 1 eps) x)))))

series249.0ms

Counts
4 → 12
Calls
4 calls:
33.0ms
(* (+ 1 (/ 1 eps)) (exp (- (* (- 1 eps) x))))
29.0ms
(* (+ 1 eps) x)
40.0ms
(* (- 1 eps) x)
147.0ms
(- (* (+ 1 (/ 1 eps)) (exp (- (* (- 1 eps) x)))) (* (- (/ 1 eps) 1) (exp (- (* (+ 1 eps) x)))))

simplify2.8s

Counts
182 → 182
Iterations
IterNodes
done5001
24185
11255
0381

prune1.1s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.6b

localize16.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* 2/3 x) (* x x))
0.2b
(/ (+ (- 2 (* x x)) (* (* 2/3 x) (* x x))) 2)
0.4b
(* 2/3 x)
5.8b
(+ (- 2 (* x x)) (* (* 2/3 x) (* x x)))

rewrite176.0ms

Algorithm
rewrite-expression-head
Rules
20×add-cbrt-cube add-exp-log
18×pow1
16×add-sqr-sqrt
14×*-un-lft-identity add-cube-cbrt
9×times-frac pow-prod-down prod-exp cbrt-unprod add-log-exp
4×associate-*r* associate-*l* insert-posit16
3×associate-/r* associate-/l*
2×associate-+l+ sum-log flip3-+ *-commutative associate-+l- flip-+ associate-/l/
1×cbrt-undiv +-commutative clear-num sub-neg frac-2neg diff-log div-sub div-exp div-inv unswap-sqr
Counts
4 → 89
Calls
4 calls:
28.0ms
(* (* 2/3 x) (* x x))
97.0ms
(/ (+ (- 2 (* x x)) (* (* 2/3 x) (* x x))) 2)
6.0ms
(* 2/3 x)
43.0ms
(+ (- 2 (* x x)) (* (* 2/3 x) (* x x)))

series163.0ms

Counts
4 → 12
Calls
4 calls:
52.0ms
(* (* 2/3 x) (* x x))
42.0ms
(/ (+ (- 2 (* x x)) (* (* 2/3 x) (* x x))) 2)
19.0ms
(* 2/3 x)
51.0ms
(+ (- 2 (* x x)) (* (* 2/3 x) (* x x)))

simplify1.4s

Counts
101 → 101
Iterations
IterNodes
done5001
21155
1356
0141

prune438.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.6b

localize36.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* 2/3 x) (* x x))
0.4b
(* 2/3 x)
0.5b
(log (exp (+ (- 2 (* x x)) (* (* 2/3 x) (* x x)))))
5.8b
(+ (- 2 (* x x)) (* (* 2/3 x) (* x x)))

rewrite183.0ms

Algorithm
rewrite-expression-head
Rules
19×pow1
18×add-cbrt-cube add-exp-log
10×add-sqr-sqrt
9×pow-prod-down prod-exp cbrt-unprod add-log-exp
8×*-un-lft-identity add-cube-cbrt
4×log-prod associate-*r* associate-*l* log-pow insert-posit16
3×exp-prod
2×associate-+l+ sum-log *-commutative associate-+l-
1×+-commutative log-div sub-neg flip3-+ exp-diff diff-log rem-log-exp exp-sum flip-+ unswap-sqr
Counts
4 → 76
Calls
4 calls:
55.0ms
(* (* 2/3 x) (* x x))
13.0ms
(* 2/3 x)
79.0ms
(log (exp (+ (- 2 (* x x)) (* (* 2/3 x) (* x x)))))
32.0ms
(+ (- 2 (* x x)) (* (* 2/3 x) (* x x)))

series179.0ms

Counts
4 → 12
Calls
4 calls:
51.0ms
(* (* 2/3 x) (* x x))
24.0ms
(* 2/3 x)
66.0ms
(log (exp (+ (- 2 (* x x)) (* (* 2/3 x) (* x x)))))
38.0ms
(+ (- 2 (* x x)) (* (* 2/3 x) (* x x)))

simplify1.6s

Counts
88 → 88
Iterations
IterNodes
done5001
21014
1294
0117

prune373.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.6b

localize48.0ms

Local error

Found 4 expressions with local error:

0.4b
(* 2/3 x)
0.5b
(log (exp (+ (- 2 (* x x)) (posit16->real (real->posit16 (* (* 2/3 x) (* x x)))))))
5.8b
(+ (- 2 (* x x)) (posit16->real (real->posit16 (* (* 2/3 x) (* x x)))))
16.2b
(posit16->real (real->posit16 (* (* 2/3 x) (* x x))))

rewrite157.0ms

Algorithm
rewrite-expression-head
Rules
12×*-un-lft-identity
10×add-sqr-sqrt
9×add-log-exp
8×add-cube-cbrt
7×pow1
6×add-cbrt-cube add-exp-log
5×log-pow
4×log-prod exp-prod insert-posit16
3×associate-*r* associate-*l*
2×associate-+l+ sum-log associate-+l- distribute-lft-out
1×+-commutative log-div sub-neg flip3-+ exp-diff diff-log rem-log-exp exp-sum pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ remove-posit16 unswap-sqr
Counts
4 → 64
Calls
4 calls:
13.0ms
(* 2/3 x)
104.0ms
(log (exp (+ (- 2 (* x x)) (posit16->real (real->posit16 (* (* 2/3 x) (* x x)))))))
37.0ms
(+ (- 2 (* x x)) (posit16->real (real->posit16 (* (* 2/3 x) (* x x)))))
1.0ms
(posit16->real (real->posit16 (* (* 2/3 x) (* x x))))

series177.0ms

Counts
4 → 12
Calls
4 calls:
19.0ms
(* 2/3 x)
46.0ms
(log (exp (+ (- 2 (* x x)) (posit16->real (real->posit16 (* (* 2/3 x) (* x x)))))))
60.0ms
(+ (- 2 (* x x)) (posit16->real (real->posit16 (* (* 2/3 x) (* x x)))))
53.0ms
(posit16->real (real->posit16 (* (* 2/3 x) (* x x))))

simplify3.0s

Counts
76 → 76
Iterations
IterNodes
done5014
33824
2764
1237
0104

prune673.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.6b

regimes160.0ms

Accuracy

96.5% (0.6b remaining)

Error of 1.0b against oracle of 0.4b and baseline of 16.2b

bsearch264.0ms

Steps
ItersRangePoint
9
1.7877411926250683e-07
443.57959014112146
12.136437057937329

simplify26.0ms

Iterations
IterNodes
done65
365
262
152
034

end0.0ms

sample9.0s

Algorithm
intervals
Results
2.9s2013×body10240exit
2.2s9854×body80valid
2.0s1737×body1280valid
826.0ms1291×body640valid
282.0ms667×body320valid
77.0ms323×body160valid