Details

Time bar (total: 4.4m)

sample320.0ms

Algorithm
intervals
Results
77.0ms57×body10240exit
70.0ms49×body1280valid
69.0ms360×body80valid
62.0ms35×body640valid
14.0ms23×body320valid
5.0ms9×body160valid

simplify600.0ms

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

prune14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 27.5b

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

rewrite119.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
105.0ms
(- (+ (exp (* x (+ eps -1))) (/ (exp (* x (+ eps -1))) eps)) (- (/ (exp (* x (- -1 eps))) eps) (exp (* x (- -1 eps)))))
5.0ms
(exp (* x (- -1 eps)))
4.0ms
(exp (* x (- -1 eps)))
4.0ms
(exp (* x (+ eps -1)))

series148.0ms

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

simplify8.2s

Calls
50 calls:
Slowest
727.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))))
648.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))))
428.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)))))))
397.0ms
(exp (* -1 (* (- 1 eps) x)))
365.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)))))))

prune1.1s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.1b

localize53.0ms

Local error

Found 4 expressions with local error:

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

rewrite381.0ms

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

series240.0ms

Calls
4 calls:
Slowest
131.0ms
(exp (- (+ (exp (* (+ eps -1) x)) (exp (* x (- -1 eps)))) (- (/ (exp (* x (- -1 eps))) eps) (/ (exp (* (+ eps -1) x)) eps))))
75.0ms
(- (/ (exp (* x (- -1 eps))) eps) (/ (exp (* (+ eps -1) x)) eps))
17.0ms
(exp (* x (- -1 eps)))
17.0ms
(exp (* x (- -1 eps)))

simplify7.1s

Calls
51 calls:
Slowest
771.0ms
(- (+ (/ (* (exp (* (- eps 1) x)) (exp (+ (exp (* (- eps 1) x)) (exp (* -1 (* x (+ eps 1))))))) eps) (+ (* 1/2 (/ (* (pow (exp (* (- eps 1) x)) 2) (exp (+ (exp (* (- eps 1) x)) (exp (* -1 (* x (+ eps 1))))))) (pow eps 2))) (+ (exp (+ (exp (* (- eps 1) x)) (exp (* -1 (* x (+ eps 1)))))) (* 1/2 (/ (* (pow (exp (* -1 (* x (+ eps 1)))) 2) (exp (+ (exp (* (- eps 1) x)) (exp (* -1 (* x (+ eps 1))))))) (pow eps 2)))))) (+ (/ (* (exp (* -1 (* x (+ eps 1)))) (exp (+ (exp (* (- eps 1) x)) (exp (* -1 (* x (+ eps 1))))))) eps) (/ (* (exp (* (- eps 1) x)) (* (exp (* -1 (* x (+ eps 1)))) (exp (+ (exp (* (- eps 1) x)) (exp (* -1 (* x (+ eps 1)))))))) (pow eps 2))))
743.0ms
(- (+ (* 1/2 (/ (* (exp (+ (exp (* -1 (* x (+ eps 1)))) (exp (* -1 (* (- 1 eps) x))))) (pow (exp (* -1 (* (- 1 eps) x))) 2)) (pow eps 2))) (+ (exp (+ (exp (* -1 (* x (+ eps 1)))) (exp (* -1 (* (- 1 eps) x))))) (+ (/ (* (exp (+ (exp (* -1 (* x (+ eps 1)))) (exp (* -1 (* (- 1 eps) x))))) (exp (* -1 (* (- 1 eps) x)))) eps) (* 1/2 (/ (* (pow (exp (* -1 (* x (+ eps 1)))) 2) (exp (+ (exp (* -1 (* x (+ eps 1)))) (exp (* -1 (* (- 1 eps) x)))))) (pow eps 2)))))) (+ (/ (* (exp (* -1 (* x (+ eps 1)))) (* (exp (+ (exp (* -1 (* x (+ eps 1)))) (exp (* -1 (* (- 1 eps) x))))) (exp (* -1 (* (- 1 eps) x))))) (pow eps 2)) (/ (* (exp (* -1 (* x (+ eps 1)))) (exp (+ (exp (* -1 (* x (+ eps 1)))) (exp (* -1 (* (- 1 eps) x)))))) eps)))
387.0ms
(- (+ (* 2/3 (* (exp 2) (pow x 3))) (exp 2)) (* (exp 2) (pow x 2)))
285.0ms
(/ (- (exp (* -1 (* x (+ eps 1)))) (exp (* (- eps 1) x))) eps)
263.0ms
(exp (* -1 (* x (+ eps 1))))

prune1.3s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.1b

localize25.0ms

Local error

Found 4 expressions with local error:

0.3b
(* 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)

series95.0ms

Calls
4 calls:
Slowest
39.0ms
(* (- (* x (* 2/3 x)) x) x)
25.0ms
(- (* x (* 2/3 x)) x)
19.0ms
(* x (* 2/3 x))
13.0ms
(* 2/3 x)

simplify832.0ms

Calls
16 calls:
Slowest
313.0ms
(* (- (* (* x (* 2/3 x)) (* x (* 2/3 x))) (* x x)) x)
184.0ms
(* (- (pow (* x (* 2/3 x)) 3) (pow x 3)) x)
75.0ms
(- (* 2/3 (pow x 3)) (pow x 2))
75.0ms
(- (* 2/3 (pow x 3)) (pow x 2))
54.0ms
(- (* 2/3 (pow x 3)) (pow x 2))

prune522.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.1b

localize145.0ms

Local error

Found 4 expressions with local error:

25.8b
(- (* (+ (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))))
0.3b
(pow (/ (exp (* x (+ eps -1))) eps) 3)
0.3b
(pow (/ (exp (* x (- -1 eps))) eps) 3)
0.3b
(* (/ (exp (* x (+ eps -1))) eps) (/ (exp (* x (+ eps -1))) eps))

rewrite160.0ms

Algorithm
rewrite-expression-head
Rules
281×frac-times
246×flip3-+ flip-+
208×frac-sub
165×associate-*r/
144×frac-add
117×associate-*l/
79×flip3-- flip--
11×pow1
10×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
8×unpow-prod-down add-cbrt-cube cube-prod add-exp-log
6×div-inv add-log-exp
4×associate-*r* associate-*l* insert-posit16 associate--r+
3×distribute-rgt-in sub-neg distribute-lft-in
2×cube-div cube-mult pow-to-exp pow-pow unpow3 pow-exp associate--l+ rem-cube-cbrt
1×pow2 pow-plus diff-log pow-prod-down prod-exp *-commutative pow-prod-up cbrt-unprod
Calls
4 calls:
Slowest
126.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))))
12.0ms
(* (/ (exp (* x (+ eps -1))) eps) (/ (exp (* x (+ eps -1))) eps))
7.0ms
(pow (/ (exp (* x (- -1 eps))) eps) 3)
6.0ms
(pow (/ (exp (* x (+ eps -1))) eps) 3)

series847.0ms

Calls
4 calls:
Slowest
740.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))))
43.0ms
(pow (/ (exp (* x (- -1 eps))) eps) 3)
40.0ms
(pow (/ (exp (* x (+ eps -1))) eps) 3)
24.0ms
(* (/ (exp (* x (+ eps -1))) eps) (/ (exp (* x (+ eps -1))) eps))

simplify3.7m

Calls
475 calls:
Slowest
2.8s
(* (* (+ (* (pow (exp (* x (+ eps -1))) 3) (pow (exp (* x (+ eps -1))) 3)) (- (* (pow (/ (exp (* x (+ eps -1))) eps) 3) (pow (/ (exp (* x (+ eps -1))) eps) 3)) (* (pow (exp (* x (+ eps -1))) 3) (pow (/ (exp (* x (+ eps -1))) eps) 3)))) (* eps (- (* (exp (* x (- -1 eps))) (exp (* x (- -1 eps)))) (* (/ (exp (* x (- -1 eps))) eps) (exp (* x (- -1 eps))))))) (+ (* (pow (/ (exp (* x (- -1 eps))) eps) 3) (pow (/ (exp (* x (- -1 eps))) eps) 3)) (+ (* (pow (exp (* x (- -1 eps))) 3) (pow (exp (* x (- -1 eps))) 3)) (* (pow (/ (exp (* x (- -1 eps))) eps) 3) (pow (exp (* x (- -1 eps))) 3)))))
2.8s
(* (* (+ (* (pow (exp (* x (+ eps -1))) 3) (pow (exp (* x (+ eps -1))) 3)) (- (* (pow (/ (exp (* x (+ eps -1))) eps) 3) (pow (/ (exp (* x (+ eps -1))) eps) 3)) (* (pow (exp (* x (+ eps -1))) 3) (pow (/ (exp (* x (+ eps -1))) eps) 3)))) (* eps (- (* (exp (* x (- -1 eps))) (exp (* x (- -1 eps)))) (* (/ (exp (* x (- -1 eps))) eps) (exp (* x (- -1 eps))))))) (+ (* (pow (/ (exp (* x (- -1 eps))) eps) 3) (pow (/ (exp (* x (- -1 eps))) eps) 3)) (+ (* (pow (exp (* x (- -1 eps))) 3) (pow (exp (* x (- -1 eps))) 3)) (* (pow (/ (exp (* x (- -1 eps))) eps) 3) (pow (exp (* x (- -1 eps))) 3)))))
2.4s
(* (* (+ (* (pow (exp (* x (+ eps -1))) 3) (pow (exp (* x (+ eps -1))) 3)) (- (* (pow (/ (exp (* x (+ eps -1))) eps) 3) (pow (/ (exp (* x (+ eps -1))) eps) 3)) (* (pow (exp (* x (+ eps -1))) 3) (pow (/ (exp (* x (+ eps -1))) eps) 3)))) (* (* eps eps) (- (* (exp (* x (- -1 eps))) (exp (* x (- -1 eps)))) (* (/ (exp (* x (- -1 eps))) eps) (exp (* x (- -1 eps))))))) (+ (* (pow (/ (exp (* x (- -1 eps))) eps) 3) (pow (/ (exp (* x (- -1 eps))) eps) 3)) (+ (* (pow (exp (* x (- -1 eps))) 3) (pow (exp (* x (- -1 eps))) 3)) (* (pow (/ (exp (* x (- -1 eps))) eps) 3) (pow (exp (* x (- -1 eps))) 3)))))
2.2s
(* (* (+ (* (pow (exp (* x (+ eps -1))) 3) (pow (exp (* x (+ eps -1))) 3)) (- (* (pow (/ (exp (* x (+ eps -1))) eps) 3) (pow (/ (exp (* x (+ eps -1))) eps) 3)) (* (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))) (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 (+ eps -1))) eps) (/ (exp (* x (+ eps -1))) eps)) (* (exp (* x (+ eps -1))) (/ (exp (* x (+ eps -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)))))))
2.1s
(* (* (+ (* (pow (exp (* x (+ eps -1))) 3) (pow (exp (* x (+ eps -1))) 3)) (- (* (pow (/ (exp (* x (+ eps -1))) eps) 3) (pow (/ (exp (* x (+ eps -1))) eps) 3)) (* (pow (exp (* x (+ eps -1))) 3) (pow (/ (exp (* x (+ eps -1))) eps) 3)))) (* (* eps eps) (- (* (exp (* x (- -1 eps))) (exp (* x (- -1 eps)))) (* (/ (exp (* x (- -1 eps))) eps) (exp (* x (- -1 eps))))))) (+ (pow (/ (exp (* x (- -1 eps))) eps) 3) (pow (exp (* x (- -1 eps))) 3)))

prune8.3s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.1b

regimes59.0ms

Accuracy

0% (0.7b remaining)

Error of 1.1b against oracle of 0.4b and baseline of 1.1b

bsearch3.0ms

end0.0ms

sample7.3s

Algorithm
intervals
Results
2.2s1843×body10240exit
1.7s10090×body80valid
1.5s1703×body1280valid
1.1s1324×body640valid
548.0ms593×body320valid
74.0ms319×body160valid