Details

Time bar (total: 1.1m)

sample372.0ms

Algorithm
intervals
Results
102.0ms55×body10240exit
91.0ms62×body1280valid
65.0ms304×body80valid
60.0ms37×body640valid
18.0ms28×body320valid
9.0ms20×body160valid

simplify335.0ms

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

prune17.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 32.8b

localize42.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.6s

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

series236.0ms

Calls
4 calls:
Slowest
126.0ms
(- (+ (exp (* x (+ eps -1))) (/ (exp (* x (+ eps -1))) eps)) (- (/ (exp (* x (- -1 eps))) eps) (exp (* x (- -1 eps)))))
46.0ms
(* x (+ eps -1))
32.0ms
(/ (exp (* x (+ eps -1))) eps)
32.0ms
(* x (+ eps -1))

simplify16.7s

Calls
124 calls:
Slowest
759.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))))
688.0ms
(/ (exp (* x (+ eps -1))) eps)
657.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))))
514.0ms
(/ (* (* (exp (* x (+ eps -1))) (exp (* x (+ eps -1)))) (exp (* x (+ eps -1)))) (* (* eps eps) eps))
493.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)))))))

prune1.8s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.6b

localize30.0ms

Local error

Found 3 expressions with local error:

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

rewrite304.0ms

Algorithm
rewrite-expression-head
Rules
83×add-sqr-sqrt
52×associate-*l*
41×*-un-lft-identity
39×associate-*r*
38×unswap-sqr
26×pow1
17×add-cbrt-cube add-exp-log add-cube-cbrt
15×distribute-lft-out--
10×swap-sqr *-commutative
9×pow-prod-down prod-exp cbrt-unprod
8×add-log-exp
7×difference-of-squares
5×pow-prod-up
3×diff-log insert-posit16
2×sub-neg cube-unmult associate--l+
1×associate--l- pow2 pow-plus flip3-- pow-sqr flip--
Calls
3 calls:
Slowest
207.0ms
(- (- 2 (* x x)) (* (* x (* x x)) -2/3))
76.0ms
(* (* x (* x x)) -2/3)
18.0ms
(* x (* x x))

series197.0ms

Calls
3 calls:
Slowest
74.0ms
(* (* x (* x x)) -2/3)
63.0ms
(* x (* x x))
59.0ms
(- (- 2 (* x x)) (* (* x (* x x)) -2/3))

simplify9.6s

Calls
116 calls:
Slowest
486.0ms
(* (* (* x x) x) (* (* (* x x) (* x x)) (* x x)))
465.0ms
(/ (/ (exp 2) (exp (* x x))) (exp (* (* x (* x x)) -2/3)))
429.0ms
(* (* (* x x) x) (* (* (* x x) x) (* (* x x) x)))
417.0ms
(* (* (* (* x (* x x)) (* x (* x x))) (* x (* x x))) (* (* -2/3 -2/3) -2/3))
312.0ms
(- (- 2 (* x x)) (* (* x (* x x)) -2/3))

prune1.1s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.6b

localize32.0ms

Local error

Found 3 expressions with local error:

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

rewrite377.0ms

Algorithm
rewrite-expression-head
Rules
86×associate-*l*
83×add-sqr-sqrt
49×*-un-lft-identity
38×unswap-sqr
31×pow1
20×distribute-lft-out--
17×add-cbrt-cube add-exp-log add-cube-cbrt
15×associate-*r*
10×swap-sqr *-commutative
9×pow-prod-down prod-exp cbrt-unprod
8×add-log-exp
7×difference-of-squares
6×pow-plus pow-prod-up
3×diff-log insert-posit16
2×pow2 sub-neg pow3 associate--l+ pow-sqr
1×associate--l- flip3-- flip--
Calls
3 calls:
Slowest
239.0ms
(- (- 2 (* x x)) (* (* (* x x) x) -2/3))
113.0ms
(* (* (* x x) x) -2/3)
21.0ms
(* (* x x) x)

series155.0ms

Calls
3 calls:
Slowest
71.0ms
(* (* (* x x) x) -2/3)
42.0ms
(* (* x x) x)
41.0ms
(- (- 2 (* x x)) (* (* (* x x) x) -2/3))

simplify8.9s

Calls
115 calls:
Slowest
452.0ms
(/ (/ (exp 2) (exp (* x x))) (exp (* (* (* x x) x) -2/3)))
450.0ms
(* (* (* (* x x) (* x x)) (* x x)) (* (* x x) x))
400.0ms
(- (- 2 (* x x)) (* (* (* x x) x) -2/3))
381.0ms
(- (- 2 (* x x)) (* (* (* x x) x) -2/3))
361.0ms
(- (- 2 (* x x)) (* (* (* x x) x) -2/3))

prune1.3s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.6b

localize71.0ms

Local error

Found 4 expressions with local error:

6.4b
(- (- 2 (* x x)) (* (* x (* x x)) -2/3))
4.9b
(posit16->real (real->posit16 (- (- 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)

rewrite261.0ms

Algorithm
rewrite-expression-head
Rules
65×add-sqr-sqrt
46×associate-*l*
35×*-un-lft-identity
31×unswap-sqr
21×associate-*r*
15×distribute-lft-out--
12×pow1 add-cbrt-cube add-exp-log
11×add-cube-cbrt
8×add-log-exp
7×difference-of-squares
6×swap-sqr pow-prod-down prod-exp *-commutative cbrt-unprod
3×diff-log insert-posit16
2×sub-neg associate--l+
1×associate--l- flip3-- remove-posit16 flip--
Calls
4 calls:
Slowest
189.0ms
(- (- 2 (* x x)) (* (* x (* x x)) -2/3))
68.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)))

series147.0ms

Calls
4 calls:
Slowest
61.0ms
(- (- 2 (* x x)) (* (* x (* x x)) -2/3))
46.0ms
(* (* x (* x x)) -2/3)
40.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)))

simplify8.7s

Calls
83 calls:
Slowest
592.0ms
(- (sqrt (- 2 (* x x))) (* (* (sqrt x) (* (sqrt x) (sqrt x))) (sqrt -2/3)))
511.0ms
(/ (/ (exp 2) (exp (* x x))) (exp (* (* x (* x x)) -2/3)))
413.0ms
(* (* (* (* x (* x x)) (* x (* x x))) (* x (* x x))) (* (* -2/3 -2/3) -2/3))
286.0ms
(* (* (* (* x x) x) (* (* (* x x) x) (* (* x x) x))) (* (* -2/3 -2/3) -2/3))
270.0ms
(- (- 2 (* x x)) (* (* x (* x x)) -2/3))

prune2.0s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.6b

regimes117.0ms

Accuracy

96.6% (0.5b remaining)

Error of 0.8b against oracle of 0.3b and baseline of 16.4b

bsearch309.0ms

end0.0ms

sample11.8s

Algorithm
intervals
Results
4.1s1981×body10240exit
2.8s1697×body1280valid
2.8s10212×body80valid
1.2s1250×body640valid
482.0ms622×body320valid
125.0ms334×body160valid