Details

Time bar (total: 30.0s)

sample371.0ms

Algorithm
intervals
Results
114.0ms58×body10240exit
72.0ms40×body640valid
71.0ms54×body1280valid
64.0ms323×body80valid
20.0ms33×body320valid
3.0ms8×body160valid

simplify1.8s

Counts
1 → 1
Iterations
IterNodes
53061
4844
3296
2120
146
019

prune22.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 31.9b

localize35.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (- x) (* x eps))
0.0b
(/ (exp (+ (- x) (* x eps))) eps)
0.0b
(/ (exp (- (- x) (* x eps))) eps)
4.1b
(- (+ (exp (+ (- x) (* x eps))) (/ (exp (+ (- x) (* x eps))) eps)) (- (/ (exp (- (- x) (* x eps))) eps) (exp (- (- x) (* x eps)))))

rewrite760.0ms

Algorithm
rewrite-expression-head
Rules
35×*-un-lft-identity
27×times-frac
25×add-sqr-sqrt
23×add-cube-cbrt
20×add-log-exp
12×exp-sum frac-sub
9×associate-/l*
8×add-cbrt-cube exp-diff
6×associate-/r* sub-neg diff-log add-exp-log distribute-lft-out--
5×neg-sub0 associate-+l-
4×pow1 sum-log flip3-+ flip3-- flip-+ insert-posit16 flip--
3×frac-add
2×cbrt-undiv clear-num frac-2neg div-exp div-inv distribute-lft-out associate--r+ associate-/l/
1×+-commutative neg-log associate--l+ associate--r- difference-of-squares
Counts
4 → 118
Calls
4 calls:
8.0ms
(+ (- x) (* x eps))
25.0ms
(/ (exp (+ (- x) (* x eps))) eps)
42.0ms
(/ (exp (- (- x) (* x eps))) eps)
683.0ms
(- (+ (exp (+ (- x) (* x eps))) (/ (exp (+ (- x) (* x eps))) eps)) (- (/ (exp (- (- x) (* x eps))) eps) (exp (- (- x) (* x eps)))))

series274.0ms

Counts
4 → 12
Calls
4 calls:
57.0ms
(+ (- x) (* x eps))
46.0ms
(/ (exp (+ (- x) (* x eps))) eps)
40.0ms
(/ (exp (- (- x) (* x eps))) eps)
131.0ms
(- (+ (exp (+ (- x) (* x eps))) (/ (exp (+ (- x) (* x eps))) eps)) (- (/ (exp (- (- x) (* x eps))) eps) (exp (- (- x) (* x eps)))))

simplify1.2s

Counts
130 → 130
Iterations
IterNodes
22690
1677
0252

prune1.6s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize27.0ms

Local error

Found 4 expressions with local error:

0.0b
(- 2 (* x x))
0.1b
(* x (* (* x x) 2/3))
0.2b
(* (* x x) 2/3)
6.8b
(+ (- 2 (* x x)) (* x (* (* x x) 2/3)))

rewrite108.0ms

Algorithm
rewrite-expression-head
Rules
18×pow1 add-cbrt-cube add-exp-log
11×add-log-exp
9×pow-prod-down prod-exp cbrt-unprod
8×add-sqr-sqrt
6×*-un-lft-identity add-cube-cbrt
4×associate-*r* associate-*l* insert-posit16
2×associate-+l+ sum-log sub-neg diff-log *-commutative
1×+-commutative flip3-+ flip3-- associate-+l- flip-+ flip-- difference-of-squares unswap-sqr
Counts
4 → 72
Calls
4 calls:
4.0ms
(- 2 (* x x))
36.0ms
(* x (* (* x x) 2/3))
17.0ms
(* (* x x) 2/3)
51.0ms
(+ (- 2 (* x x)) (* x (* (* x x) 2/3)))

series182.0ms

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

simplify2.7s

Counts
84 → 84
Iterations
IterNodes
34261
21006
1313
0110

prune797.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.2b

localize51.0ms

Local error

Found 4 expressions with local error:

0.1b
(* x (* (* x x) 2/3))
0.2b
(* (* x x) 2/3)
4.0b
(posit16->real (real->posit16 (+ (- 2 (* x x)) (* x (* (* x x) 2/3)))))
6.8b
(+ (- 2 (* x x)) (* x (* (* x x) 2/3)))

rewrite120.0ms

Algorithm
rewrite-expression-head
Rules
18×pow1 add-cbrt-cube add-exp-log
9×pow-prod-down prod-exp cbrt-unprod add-log-exp
7×add-sqr-sqrt
6×*-un-lft-identity add-cube-cbrt
4×associate-*r* associate-*l* insert-posit16
2×associate-+l+ sum-log *-commutative
1×+-commutative sub-neg flip3-+ diff-log associate-+l- flip-+ remove-posit16 unswap-sqr
Counts
4 → 67
Calls
4 calls:
69.0ms
(* x (* (* x x) 2/3))
25.0ms
(* (* x x) 2/3)
0.0ms
(posit16->real (real->posit16 (+ (- 2 (* x x)) (* x (* (* x x) 2/3)))))
24.0ms
(+ (- 2 (* x x)) (* x (* (* x x) 2/3)))

series199.0ms

Counts
4 → 12
Calls
4 calls:
52.0ms
(* x (* (* x x) 2/3))
47.0ms
(* (* x x) 2/3)
57.0ms
(posit16->real (real->posit16 (+ (- 2 (* x x)) (* x (* (* x x) 2/3)))))
43.0ms
(+ (- 2 (* x x)) (* x (* (* x x) 2/3)))

simplify1.5s

Counts
79 → 79
Iterations
IterNodes
33467
2854
1258
0100

prune1.7s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.2b

localize101.0ms

Local error

Found 4 expressions with local error:

6.8b
(+ (- 2 (* x x)) (* x (* (* x x) 2/3)))
12.1b
(cbrt (posit16->real (real->posit16 (+ (- 2 (* x x)) (* x (* (* x x) 2/3))))))
12.1b
(cbrt (posit16->real (real->posit16 (+ (- 2 (* x x)) (* x (* (* x x) 2/3))))))
12.1b
(cbrt (posit16->real (real->posit16 (+ (- 2 (* x x)) (* x (* (* x x) 2/3))))))

rewrite53.0ms

Algorithm
rewrite-expression-head
Rules
9×cbrt-prod add-log-exp
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×pow1 add-cbrt-cube add-exp-log insert-posit16
3×pow1/3
2×associate-+l+ sum-log
1×+-commutative sub-neg flip3-+ diff-log associate-+l- flip-+
Counts
4 → 52
Calls
4 calls:
48.0ms
(+ (- 2 (* x x)) (* x (* (* x x) 2/3)))
1.0ms
(cbrt (posit16->real (real->posit16 (+ (- 2 (* x x)) (* x (* (* x x) 2/3))))))
1.0ms
(cbrt (posit16->real (real->posit16 (+ (- 2 (* x x)) (* x (* (* x x) 2/3))))))
1.0ms
(cbrt (posit16->real (real->posit16 (+ (- 2 (* x x)) (* x (* (* x x) 2/3))))))

series342.0ms

Counts
4 → 12
Calls
4 calls:
41.0ms
(+ (- 2 (* x x)) (* x (* (* x x) 2/3)))
95.0ms
(cbrt (posit16->real (real->posit16 (+ (- 2 (* x x)) (* x (* (* x x) 2/3))))))
108.0ms
(cbrt (posit16->real (real->posit16 (+ (- 2 (* x x)) (* x (* (* x x) 2/3))))))
98.0ms
(cbrt (posit16->real (real->posit16 (+ (- 2 (* x x)) (* x (* (* x x) 2/3))))))

simplify2.2s

Counts
64 → 64
Iterations
IterNodes
34133
2820
1246
097

prune1.0s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.2b

regimes114.0ms

Accuracy

96.4% (0.6b remaining)

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

bsearch354.0ms

Steps
ItersRangePoint
11
9.479465535870816e-07
6.913138166624131e+23
1.540523375218099

simplify9.0ms

Iterations
IterNodes
231
131
025

end0.0ms

sample12.4s

Algorithm
intervals
Results
4.8s1954×body10240exit
2.8s1738×body1280valid
2.5s9904×body80valid
1.3s1250×body640valid
468.0ms652×body320valid
143.0ms288×body160valid