Details

Time bar (total: 27.2s)

sample374.0ms

Algorithm
intervals
Results
126.0ms61×body10240exit
110.0ms61×body1280valid
66.0ms308×body80valid
33.0ms38×body640valid
10.0ms17×body320valid
6.0ms14×body160valid

simplify248.0ms

Calls
1 calls:
Slowest
248.0ms
(/ (- (* (+ 1 (/ 1 eps)) (exp (- (* (- 1 eps) x)))) (* (- (/ 1 eps) 1) (exp (- (* (+ 1 eps) x))))) 2)

prune18.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 30.7b

localize43.0ms

Local error

Found 4 expressions with local error:

3.6b
(- (+ (exp (* x (+ eps -1))) (/ (exp (* x (+ eps -1))) eps)) (- (/ (exp (* x (- -1 eps))) eps) (exp (* x (- -1 eps)))))
0.1b
(exp (* x (- -1 eps)))
0.1b
(exp (* x (- -1 eps)))
0.1b
(exp (* x (+ eps -1)))

rewrite101.0ms

Algorithm
rewrite-expression-head
Rules
19×add-log-exp
16×*-un-lft-identity
10×exp-sum
6×add-sqr-sqrt sub-neg diff-log distribute-lft-out--
5×distribute-rgt-in distribute-lft-in
4×pow1 add-cbrt-cube add-exp-log frac-sub add-cube-cbrt insert-posit16
3×exp-prod flip3-- flip-- rem-exp-log
2×sum-log flip3-+ flip-+ distribute-lft-out associate--r+
1×associate--l+ associate--r- difference-of-squares
Calls
4 calls:
Slowest
94.0ms
(- (+ (exp (* x (+ eps -1))) (/ (exp (* x (+ eps -1))) eps)) (- (/ (exp (* x (- -1 eps))) eps) (exp (* x (- -1 eps)))))
2.0ms
(exp (* x (- -1 eps)))
2.0ms
(exp (* x (- -1 eps)))
2.0ms
(exp (* x (+ eps -1)))

series169.0ms

Calls
4 calls:
Slowest
120.0ms
(- (+ (exp (* x (+ eps -1))) (/ (exp (* x (+ eps -1))) eps)) (- (/ (exp (* x (- -1 eps))) eps) (exp (* x (- -1 eps)))))
18.0ms
(exp (* x (- -1 eps)))
17.0ms
(exp (* x (- -1 eps)))
14.0ms
(exp (* x (+ eps -1)))

simplify8.4s

Calls
50 calls:
Slowest
875.0ms
(- (* (+ (pow (exp (* x (+ eps -1))) 3) (pow (/ (exp (* x (+ eps -1))) eps) 3)) (+ (/ (exp (* x (- -1 eps))) eps) (exp (* x (- -1 eps))))) (* (+ (* (exp (* x (+ eps -1))) (exp (* x (+ eps -1)))) (- (* (/ (exp (* x (+ eps -1))) eps) (/ (exp (* x (+ eps -1))) eps)) (* (exp (* x (+ eps -1))) (/ (exp (* x (+ eps -1))) eps)))) (- (* (/ (exp (* x (- -1 eps))) eps) (/ (exp (* x (- -1 eps))) eps)) (* (exp (* x (- -1 eps))) (exp (* x (- -1 eps)))))))
727.0ms
(- (* (+ (pow (exp (* x (+ eps -1))) 3) (pow (/ (exp (* x (+ eps -1))) eps) 3)) (+ (* (/ (exp (* x (- -1 eps))) eps) (/ (exp (* x (- -1 eps))) eps)) (+ (* (exp (* x (- -1 eps))) (exp (* x (- -1 eps)))) (* (/ (exp (* x (- -1 eps))) eps) (exp (* x (- -1 eps))))))) (* (+ (* (exp (* x (+ eps -1))) (exp (* x (+ eps -1)))) (- (* (/ (exp (* x (+ eps -1))) eps) (/ (exp (* x (+ eps -1))) eps)) (* (exp (* x (+ eps -1))) (/ (exp (* x (+ eps -1))) eps)))) (- (pow (/ (exp (* x (- -1 eps))) eps) 3) (pow (exp (* x (- -1 eps))) 3))))
569.0ms
(- (* (- (* (exp (* x (+ eps -1))) (exp (* x (+ eps -1)))) (* (/ (exp (* x (+ eps -1))) eps) (/ (exp (* x (+ eps -1))) eps))) (+ (* (/ (exp (* x (- -1 eps))) eps) (/ (exp (* x (- -1 eps))) eps)) (+ (* (exp (* x (- -1 eps))) (exp (* x (- -1 eps)))) (* (/ (exp (* x (- -1 eps))) eps) (exp (* x (- -1 eps))))))) (* (- (exp (* x (+ eps -1))) (/ (exp (* x (+ eps -1))) eps)) (- (pow (/ (exp (* x (- -1 eps))) eps) 3) (pow (exp (* x (- -1 eps))) 3))))
343.0ms
(- (* (- (* (exp (* x (+ eps -1))) (exp (* x (+ eps -1)))) (* (/ (exp (* x (+ eps -1))) eps) (/ (exp (* x (+ eps -1))) eps))) (+ (/ (exp (* x (- -1 eps))) eps) (exp (* x (- -1 eps))))) (* (- (exp (* x (+ eps -1))) (/ (exp (* x (+ eps -1))) eps)) (- (* (/ (exp (* x (- -1 eps))) eps) (/ (exp (* x (- -1 eps))) eps)) (* (exp (* x (- -1 eps))) (exp (* x (- -1 eps)))))))
343.0ms
(exp (* -1 (* (- 1 eps) x)))

prune938.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.3b

localize31.0ms

Local error

Found 4 expressions with local error:

0.4b
(* 2/3 x)
0.1b
(* x (* 2/3 x))
0.0b
(* (- (* x (* 2/3 x)) x) x)
0.0b
(- (* x (* 2/3 x)) x)

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
5×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×pow1 add-cbrt-cube add-exp-log insert-posit16 add-log-exp
3×associate-*l* *-commutative
2×flip3-- associate-*l/ flip--
1×sub-neg associate-*r*
Calls
4 calls:
Slowest
14.0ms
(* (- (* x (* 2/3 x)) x) x)
5.0ms
(- (* x (* 2/3 x)) x)
2.0ms
(* x (* 2/3 x))
0.0ms
(* 2/3 x)

series280.0ms

Calls
4 calls:
Slowest
120.0ms
(* (- (* x (* 2/3 x)) x) x)
82.0ms
(- (* x (* 2/3 x)) x)
45.0ms
(* x (* 2/3 x))
33.0ms
(* 2/3 x)

simplify883.0ms

Calls
16 calls:
Slowest
320.0ms
(* (- (* (* x (* 2/3 x)) (* x (* 2/3 x))) (* x x)) x)
183.0ms
(* (- (pow (* x (* 2/3 x)) 3) (pow x 3)) x)
77.0ms
(- (* 2/3 (pow x 3)) (pow x 2))
74.0ms
(- (* 2/3 (pow x 3)) (pow x 2))
58.0ms
(- (* 2/3 (pow x 3)) (pow x 2))

prune501.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.3b

localize13.0ms

Local error

Found 4 expressions with local error:

0.4b
(* 2/3 x)
0.1b
(* (* 2/3 x) x)
0.0b
(* (- (* (* 2/3 x) x) x) x)
0.0b
(- (* (* 2/3 x) x) x)

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
5×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×pow1 add-cbrt-cube associate-*l* add-exp-log insert-posit16 add-log-exp
3×*-commutative
2×flip3-- associate-*l/ flip--
1×sub-neg
Calls
4 calls:
Slowest
15.0ms
(* (- (* (* 2/3 x) x) x) x)
9.0ms
(- (* (* 2/3 x) x) x)
3.0ms
(* (* 2/3 x) x)
0.0ms
(* 2/3 x)

series271.0ms

Calls
4 calls:
Slowest
140.0ms
(* (- (* (* 2/3 x) x) x) x)
72.0ms
(- (* (* 2/3 x) x) x)
38.0ms
(* (* 2/3 x) x)
20.0ms
(* 2/3 x)

simplify920.0ms

Calls
16 calls:
Slowest
356.0ms
(* (- (* (* (* 2/3 x) x) (* (* 2/3 x) x)) (* x x)) x)
214.0ms
(* (- (pow (* (* 2/3 x) x) 3) (pow x 3)) x)
68.0ms
(- (* 2/3 (pow x 3)) (pow x 2))
62.0ms
(- (* 2/3 (pow x 3)) (pow x 2))
60.0ms
(- (* 2/3 (pow x 3)) (pow x 2))

prune496.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.3b

localize51.0ms

Local error

Found 4 expressions with local error:

29.4b
(posit16->real (real->posit16 (* (* 2/3 x) x)))
1.6b
(real->posit16 (* (* 2/3 x) x))
0.4b
(* 2/3 x)
0.1b
(* (* 2/3 x) x)

rewrite3.0ms

Algorithm
rewrite-expression-head
Rules
3×add-sqr-sqrt pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt insert-posit16 add-log-exp
2×*-commutative
1×associate-*l* remove-posit16
Calls
4 calls:
Slowest
2.0ms
(* (* 2/3 x) x)
0.0ms
(posit16->real (real->posit16 (* (* 2/3 x) x)))
0.0ms
(* 2/3 x)
0.0ms
(real->posit16 (* (* 2/3 x) x))

series100.0ms

Calls
4 calls:
Slowest
45.0ms
(* (* 2/3 x) x)
36.0ms
(posit16->real (real->posit16 (* (* 2/3 x) x)))
20.0ms
(* 2/3 x)
0.0ms
(real->posit16 (* (* 2/3 x) x))

simplify108.0ms

Calls
10 calls:
Slowest
22.0ms
(* 2/3 (pow x 2))
16.0ms
(* 2/3 (pow x 2))
16.0ms
(* 2/3 (pow x 2))
16.0ms
(* 2/3 (pow x 2))
8.0ms
(* 2/3 (pow x 2))

prune779.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.3b

regimes176.0ms

Accuracy

96.7% (0.5b remaining)

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

bsearch354.0ms

end0.0ms

sample11.9s

Algorithm
intervals
Results
3.5s1916×body10240exit
2.5s1707×body1280valid
2.5s10088×body80valid
2.1s1291×body640valid
831.0ms615×body320valid
139.0ms276×body160valid