Details

Time bar (total: 48.0s)

sample265.0ms

Algorithm
intervals
Results
88.0ms55×body10240exit
63.0ms309×body80valid
55.0ms55×body1280valid
29.0ms39×body640valid
9.0ms20×body320valid
4.0ms10×body160valid

simplify673.0ms

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

prune20.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 29.7b

localize35.0ms

Local error

Found 4 expressions with local error:

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

rewrite251.0ms

Algorithm
rewrite-expression-head
Rules
36×*-un-lft-identity
30×add-sqr-sqrt
21×times-frac
20×add-cube-cbrt
16×exp-sum add-log-exp
14×sub-neg
12×distribute-rgt-in distribute-lft-in
10×add-cbrt-cube associate-*r*
9×add-exp-log
8×pow1 distribute-lft-out--
7×associate-/l*
6×diff-log associate-*l*
5×flip3-- flip--
4×associate-*r/ frac-sub insert-posit16
3×associate-/r* difference-of-squares
2×sum-log flip3-+ pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ distribute-lft-out associate--r+ unswap-sqr
1×cbrt-undiv clear-num frac-2neg div-exp associate--l+ div-inv associate--r-
Counts
4 → 127
Calls
4 calls:
Slowest
174.0ms
(- (+ (exp (* x (+ eps -1))) (/ (exp (* x (+ eps -1))) eps)) (- (/ (exp (* x (- -1 eps))) eps) (exp (* x (- -1 eps)))))
28.0ms
(* x (- -1 eps))
27.0ms
(* x (- -1 eps))
19.0ms
(/ (exp (* x (- -1 eps))) eps)

series304.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
149.0ms
(- (+ (exp (* x (+ eps -1))) (/ (exp (* x (+ eps -1))) eps)) (- (/ (exp (* x (- -1 eps))) eps) (exp (* x (- -1 eps)))))
72.0ms
(* x (- -1 eps))
48.0ms
(* x (- -1 eps))
35.0ms
(/ (exp (* x (- -1 eps))) eps)

simplify18.7s

Counts
122 → 139
Calls
122 calls:
Slowest
770.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))))
627.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))))
511.0ms
(* (* (* x x) x) (* (* (- -1 eps) (- -1 eps)) (- -1 eps)))
446.0ms
(* (* (* x x) x) (* (* (- -1 eps) (- -1 eps)) (- -1 eps)))
446.0ms
(- (+ (exp (* x (+ eps -1))) (/ (exp (* x (+ eps -1))) eps)) (- (/ (exp (* x (- -1 eps))) eps) (exp (* x (- -1 eps)))))

prune1.7s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.2b

localize16.0ms

Local error

Found 3 expressions with local error:

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

rewrite88.0ms

Algorithm
rewrite-expression-head
Rules
26×pow1
17×add-cbrt-cube add-exp-log
9×pow-prod-down prod-exp cbrt-unprod
8×add-log-exp
6×add-sqr-sqrt
5×*-un-lft-identity pow-prod-up add-cube-cbrt
4×associate-*r* associate-*l*
3×diff-log insert-posit16
2×sub-neg associate--l+ *-commutative
1×associate--l- pow2 pow-plus flip3-- cube-unmult pow-sqr flip-- unswap-sqr
Counts
3 → 64
Calls
3 calls:
Slowest
35.0ms
(* (* x (* x x)) -2/3)
34.0ms
(- (- 2 (* x x)) (* (* x (* x x)) -2/3))
18.0ms
(* x (* x x))

series165.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
65.0ms
(- (- 2 (* x x)) (* (* x (* x x)) -2/3))
56.0ms
(* (* x (* x x)) -2/3)
44.0ms
(* x (* x x))

simplify3.8s

Counts
36 → 73
Calls
36 calls:
Slowest
472.0ms
(/ (/ (exp 2) (exp (* x x))) (exp (* (* x (* x x)) -2/3)))
467.0ms
(* (* (* x x) x) (* (* (* x x) x) (* (* x x) x)))
465.0ms
(* (* (* x x) x) (* (* (* x x) (* x x)) (* x x)))
351.0ms
(* (* (* (* x (* x x)) (* x (* x x))) (* x (* x x))) (* (* -2/3 -2/3) -2/3))
235.0ms
(* (* (* (* x x) x) (* (* (* x x) x) (* (* x x) x))) (* (* -2/3 -2/3) -2/3))

prune704.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.2b

localize35.0ms

Local error

Found 3 expressions with local error:

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

rewrite119.0ms

Algorithm
rewrite-expression-head
Rules
31×pow1
17×add-cbrt-cube add-exp-log
9×pow-prod-down prod-exp cbrt-unprod
8×add-log-exp
6×add-sqr-sqrt pow-plus associate-*r* pow-prod-up
5×*-un-lft-identity add-cube-cbrt
3×diff-log insert-posit16
2×pow2 sub-neg associate-*l* associate--l+ pow-sqr *-commutative
1×associate--l- flip3-- pow3 flip-- unswap-sqr
Counts
3 → 68
Calls
3 calls:
Slowest
60.0ms
(* (* (* x x) x) -2/3)
39.0ms
(- (- 2 (* x x)) (* (* (* x x) x) -2/3))
18.0ms
(* (* x x) x)

series173.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
69.0ms
(* (* (* x x) x) -2/3)
62.0ms
(* (* x x) x)
42.0ms
(- (- 2 (* x x)) (* (* (* x x) x) -2/3))

simplify3.4s

Counts
37 → 77
Calls
37 calls:
Slowest
464.0ms
(/ (/ (exp 2) (exp (* x x))) (exp (* (* (* x x) x) -2/3)))
461.0ms
(* (* (* (* x x) (* x x)) (* x x)) (* (* x x) x))
359.0ms
(* (* (* (* x x) x) (* (* x x) x)) (* (* x x) x))
301.0ms
(* (* (* (* (* x x) (* x x)) (* x x)) (* (* x x) x)) (* (* -2/3 -2/3) -2/3))
233.0ms
(* (* (* (* (* x x) x) (* (* x x) x)) (* (* x x) x)) (* (* -2/3 -2/3) -2/3))

prune714.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.2b

localize41.0ms

Local error

Found 4 expressions with local error:

7.1b
(posit16->real (real->posit16 (- (- 2 (* x x)) (* (* (* x x) x) -2/3))))
6.0b
(- (- 2 (* x x)) (* (* (* x x) x) -2/3))
2.4b
(real->posit16 (- (- 2 (* x x)) (* (* (* x x) x) -2/3)))
0.1b
(* (* (* x x) x) -2/3)

rewrite105.0ms

Algorithm
rewrite-expression-head
Rules
12×pow1 add-cbrt-cube add-exp-log
8×add-log-exp
6×pow-prod-down prod-exp cbrt-unprod
4×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
3×diff-log associate-*r* insert-posit16
2×sub-neg associate--l+
1×associate--l- flip3-- associate-*l* *-commutative remove-posit16 flip--
Counts
4 → 48
Calls
4 calls:
Slowest
55.0ms
(- (- 2 (* x x)) (* (* (* x x) x) -2/3))
48.0ms
(* (* (* x x) x) -2/3)
0.0ms
(posit16->real (real->posit16 (- (- 2 (* x x)) (* (* (* x x) x) -2/3))))
0.0ms
(real->posit16 (- (- 2 (* x x)) (* (* (* x x) x) -2/3)))

series168.0ms

Counts
4 → 10
Calls
4 calls:
Slowest
64.0ms
(* (* (* x x) x) -2/3)
63.0ms
(posit16->real (real->posit16 (- (- 2 (* x x)) (* (* (* x x) x) -2/3))))
41.0ms
(- (- 2 (* x x)) (* (* (* x x) x) -2/3))
0.0ms
(real->posit16 (- (- 2 (* x x)) (* (* (* x x) x) -2/3)))

simplify3.3s

Counts
24 → 58
Calls
24 calls:
Slowest
548.0ms
(- (+ (* 2/3 (pow x 3)) 2) (pow x 2))
480.0ms
(/ (/ (exp 2) (exp (* x x))) (exp (* (* (* x x) x) -2/3)))
274.0ms
(* (* (* (* (* x x) (* x x)) (* x x)) (* (* x x) x)) (* (* -2/3 -2/3) -2/3))
232.0ms
(- (+ (* 2/3 (pow x 3)) 2) (pow x 2))
222.0ms
(* (* (* (* (* x x) x) (* (* x x) x)) (* (* x x) x)) (* (* -2/3 -2/3) -2/3))

prune1.1s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.2b

regimes188.0ms

Accuracy

96.4% (0.6b remaining)

Error of 1.0b against oracle of 0.5b and baseline of 15.9b

bsearch305.0ms

end0.0ms

sample11.6s

Algorithm
intervals
Results
3.7s1979×body10240exit
2.7s10034×body80valid
2.5s1734×body1280valid
1.5s1243×body640valid
550.0ms330×body160valid
417.0ms645×body320valid