Details

Time bar (total: 28.4s)

sample284.0ms

Algorithm
intervals
Results
99.0ms71×body10240exit
82.0ms62×body1280valid
49.0ms321×body80valid
25.0ms37×body640valid
8.0ms20×body320valid
3.0ms10×body160valid

simplify650.0ms

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

prune16.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 30.3b

localize45.0ms

Local error

Found 4 expressions with local error:

2.2b
(- (+ (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.0b
(exp (* x (+ eps -1)))

rewrite125.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
118.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)))

series133.0ms

Calls
4 calls:
Slowest
97.0ms
(- (+ (exp (* x (+ eps -1))) (/ (exp (* x (+ eps -1))) eps)) (- (/ (exp (* x (- -1 eps))) eps) (exp (* x (- -1 eps)))))
14.0ms
(exp (* x (+ eps -1)))
11.0ms
(exp (* x (- -1 eps)))
10.0ms
(exp (* x (- -1 eps)))

simplify8.7s

Calls
50 calls:
Slowest
675.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))))
674.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))))
444.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)))))))
390.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)))))))
386.0ms
(/ (exp (+ (exp (* x (+ eps -1))) (/ (exp (* x (+ eps -1))) eps))) (exp (- (/ (exp (* x (- -1 eps))) eps) (exp (* x (- -1 eps))))))

prune1.0s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.8b

localize17.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)

rewrite23.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)
6.0ms
(- (* x (* 2/3 x)) x)
2.0ms
(* x (* 2/3 x))
0.0ms
(* 2/3 x)

series103.0ms

Calls
4 calls:
Slowest
46.0ms
(* (- (* x (* 2/3 x)) x) x)
31.0ms
(- (* x (* 2/3 x)) x)
14.0ms
(* x (* 2/3 x))
12.0ms
(* 2/3 x)

simplify1.0s

Calls
16 calls:
Slowest
348.0ms
(* (- (* (* x (* 2/3 x)) (* x (* 2/3 x))) (* x x)) x)
272.0ms
(* (- (pow (* x (* 2/3 x)) 3) (pow x 3)) x)
82.0ms
(- (* 2/3 (pow x 3)) (pow x 2))
81.0ms
(- (* 2/3 (pow x 3)) (pow x 2))
54.0ms
(- (* 2/3 (pow x 3)) (pow x 2))

prune506.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.8b

localize44.0ms

Local error

Found 4 expressions with local error:

60.1b
(posit16->real (real->posit16 (* 2/3 x)))
0.4b
(* 2/3 x)
0.1b
(* x (posit16->real (real->posit16 (* 2/3 x))))
0.0b
(* (- (* x (posit16->real (real->posit16 (* 2/3 x)))) x) x)

rewrite19.0ms

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

series86.0ms

Calls
4 calls:
Slowest
43.0ms
(* (- (* x (posit16->real (real->posit16 (* 2/3 x)))) x) x)
19.0ms
(* x (posit16->real (real->posit16 (* 2/3 x))))
12.0ms
(posit16->real (real->posit16 (* 2/3 x)))
11.0ms
(* 2/3 x)

simplify618.0ms

Calls
19 calls:
Slowest
175.0ms
(* (- (* (* x (posit16->real (real->posit16 (* 2/3 x)))) (* x (posit16->real (real->posit16 (* 2/3 x))))) (* x x)) x)
151.0ms
(* (- (pow (* x (posit16->real (real->posit16 (* 2/3 x)))) 3) (pow x 3)) x)
65.0ms
(- (* 2/3 (pow x 3)) (pow x 2))
57.0ms
(- (* 2/3 (pow x 3)) (pow x 2))
54.0ms
(- (* 2/3 (pow x 3)) (pow x 2))

prune1.1s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.8b

localize19.0ms

Local error

Found 3 expressions with local error:

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

rewrite37.0ms

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

series85.0ms

Calls
3 calls:
Slowest
34.0ms
(* (- (* (* x x) 2/3) x) x)
28.0ms
(- (* (* x x) 2/3) x)
24.0ms
(* (* x x) 2/3)

simplify1.0s

Calls
13 calls:
Slowest
356.0ms
(* (- (* (* (* x x) 2/3) (* (* x x) 2/3)) (* x x)) x)
285.0ms
(* (- (pow (* (* x x) 2/3) 3) (pow x 3)) x)
80.0ms
(- (* 2/3 (pow x 3)) (pow x 2))
64.0ms
(- (* 2/3 (pow x 3)) (pow x 2))
51.0ms
(- (* 2/3 (pow x 3)) (pow x 2))

prune402.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.8b

regimes227.0ms

Accuracy

96.5% (0.6b remaining)

Error of 0.9b against oracle of 0.3b and baseline of 16.7b

bsearch256.0ms

end0.0ms

sample11.9s

Algorithm
intervals
Results
3.7s1977×body10240exit
3.2s9962×body80valid
2.8s1751×body1280valid
1.3s1258×body640valid
431.0ms610×body320valid
143.0ms304×body160valid