Details

Time bar (total: 1.4m)

sample117.0ms

Algorithm
intervals
Results
49.0ms102×body1280valid
30.0ms87×body640valid
16.0ms287×body80valid
7.0ms33×body320valid
3.0ms26×body160valid

simplify58.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
58.0ms
(/ (- (exp x) (exp (- x))) 2)

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.5b

localize11.0ms

Local error

Found 1 expressions with local error:

7.9b
(- (exp x) (exp (- x)))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
3×add-sqr-sqrt *-un-lft-identity add-log-exp
1×pow1 sub-neg flip3-- add-cbrt-cube diff-log add-exp-log add-cube-cbrt insert-posit16 flip-- distribute-lft-out-- difference-of-squares
Counts
1 → 15
Calls
1 calls:
Slowest
11.0ms
(- (exp x) (exp (- x)))

series46.0ms

Counts
1 → 3
Calls
1 calls:
Slowest
46.0ms
(- (exp x) (exp (- x)))

simplify408.0ms

Counts
7 → 18
Calls
7 calls:
Slowest
254.0ms
(+ (* 2 x) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))))
48.0ms
(/ (exp (exp x)) (exp (exp (- x))))
48.0ms
(- (exp x) (exp (* -1 x)))
16.0ms
(- (exp x) (exp (- x)))
15.0ms
(- (sqrt (exp x)) (sqrt (exp (- x))))

prune117.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize27.0ms

Local error

Found 4 expressions with local error:

0.3b
(* 1/3 x)
0.1b
(* x (* 1/3 x))
0.1b
(* (pow x 5) 1/60)
0.0b
(+ (* x (+ (* x (* 1/3 x)) 2)) (* (pow x 5) 1/60))

rewrite76.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt
16×add-exp-log
13×add-cbrt-cube associate-*l*
11×pow1
10×*-un-lft-identity add-cube-cbrt
7×associate-*r* prod-exp
6×add-log-exp
5×cbrt-unprod
4×unpow-prod-down pow-prod-down insert-posit16 unswap-sqr
3×*-commutative
2×associate-+l+ sqr-pow
1×distribute-rgt-in pow-to-exp +-commutative sum-log distribute-lft-in flip3-+ pow-exp flip-+
Counts
4 → 78
Calls
4 calls:
Slowest
33.0ms
(+ (* x (+ (* x (* 1/3 x)) 2)) (* (pow x 5) 1/60))
22.0ms
(* x (* 1/3 x))
12.0ms
(* (pow x 5) 1/60)
7.0ms
(* 1/3 x)

series165.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
72.0ms
(+ (* x (+ (* x (* 1/3 x)) 2)) (* (pow x 5) 1/60))
50.0ms
(* (pow x 5) 1/60)
28.0ms
(* x (* 1/3 x))
15.0ms
(* 1/3 x)

simplify2.6s

Counts
50 → 90
Calls
50 calls:
Slowest
254.0ms
(+ (* 2 x) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))))
252.0ms
(+ (* 2 x) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))))
249.0ms
(+ (* 2 x) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))))
209.0ms
(* (* (* x x) x) (* (* (* 1/3 x) (* 1/3 x)) (* 1/3 x)))
209.0ms
(* (* (* x x) x) (* (* (* 1/3 1/3) 1/3) (* (* x x) x)))

prune714.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize36.0ms

Local error

Found 4 expressions with local error:

0.3b
(* 1/3 x)
0.1b
(* x (* 1/3 x))
0.1b
(* (* x (* 1/3 x)) x)
0.1b
(* (pow x 5) 1/60)

rewrite60.0ms

Algorithm
rewrite-expression-head
Rules
25×add-exp-log
22×add-cbrt-cube
20×pow1
18×add-sqr-sqrt
14×associate-*l*
13×prod-exp
11×*-un-lft-identity add-cube-cbrt cbrt-unprod
10×associate-*r* pow-prod-down
4×unpow-prod-down *-commutative insert-posit16 add-log-exp unswap-sqr
2×sqr-pow
1×pow-to-exp pow-exp
Counts
4 → 86
Calls
4 calls:
Slowest
35.0ms
(* (* x (* 1/3 x)) x)
12.0ms
(* x (* 1/3 x))
7.0ms
(* (pow x 5) 1/60)
5.0ms
(* 1/3 x)

series177.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
77.0ms
(* (pow x 5) 1/60)
58.0ms
(* (* x (* 1/3 x)) x)
27.0ms
(* x (* 1/3 x))
15.0ms
(* 1/3 x)

simplify3.6s

Counts
58 → 98
Calls
58 calls:
Slowest
587.0ms
(* (* (* (* x x) x) (* (* (* 1/3 x) (* 1/3 x)) (* 1/3 x))) (* (* x x) x))
521.0ms
(* (* (* (* x (* 1/3 x)) (* x (* 1/3 x))) (* x (* 1/3 x))) (* (* x x) x))
433.0ms
(* (* (* (* x x) x) (* (* (* 1/3 1/3) 1/3) (* (* x x) x))) (* (* x x) x))
221.0ms
(* (* (* x x) x) (* (* (* 1/3 x) (* 1/3 x)) (* 1/3 x)))
212.0ms
(* (* (* (pow x 5) (pow x 5)) (pow x 5)) (* (* 1/60 1/60) 1/60))

prune1.0s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize39.0ms

Local error

Found 4 expressions with local error:

7.8b
(- (pow (exp x) 3) (pow (exp (- x)) 3))
0.0b
(pow (exp (- x)) 3)
0.0b
(pow (exp x) 3)
0.0b
(/ (- (pow (exp x) 3) (pow (exp (- x)) 3)) (+ (* (exp x) (exp x)) (+ (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))))

rewrite320.0ms

Algorithm
rewrite-expression-head
Rules
164×add-sqr-sqrt
94×*-un-lft-identity
80×difference-of-squares
75×times-frac
66×unpow-prod-down cube-prod
44×add-cube-cbrt
42×sqr-pow
25×associate-/l* distribute-lft-out--
15×pow-pow
13×exp-prod
8×add-cbrt-cube
6×pow1 pow-unpow add-exp-log add-log-exp
5×difference-cubes
4×insert-posit16
3×distribute-lft-neg-in associate-/r* distribute-rgt-neg-in
2×cube-div cube-mult pow-to-exp flip3-- unpow3 pow-exp associate-/r/ flip-- rem-cube-cbrt associate-/l/
1×neg-sub0 exp-neg cbrt-undiv clear-num neg-mul-1 sub-neg frac-2neg flip3-+ exp-diff diff-log div-sub div-exp flip-+ div-inv
Counts
4 → 219
Calls
4 calls:
Slowest
272.0ms
(/ (- (pow (exp x) 3) (pow (exp (- x)) 3)) (+ (* (exp x) (exp x)) (+ (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))))
30.0ms
(- (pow (exp x) 3) (pow (exp (- x)) 3))
5.0ms
(pow (exp (- x)) 3)
5.0ms
(pow (exp x) 3)

series484.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
280.0ms
(/ (- (pow (exp x) 3) (pow (exp (- x)) 3)) (+ (* (exp x) (exp x)) (+ (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))))
127.0ms
(- (pow (exp x) 3) (pow (exp (- x)) 3))
40.0ms
(pow (exp x) 3)
37.0ms
(pow (exp (- x)) 3)

simplify1.1m

Counts
276 → 231
Calls
276 calls:
Slowest
695.0ms
(/ (- (sqrt (pow (exp x) 3)) (pow (exp (- x)) (/ 3 2))) (sqrt (+ (* (exp x) (exp x)) (+ (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))))
618.0ms
(/ (* (* (- (pow (exp x) 3) (pow (exp (- x)) 3)) (- (pow (exp x) 3) (pow (exp (- x)) 3))) (- (pow (exp x) 3) (pow (exp (- x)) 3))) (* (* (+ (* (exp x) (exp x)) (+ (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))) (+ (* (exp x) (exp x)) (+ (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))) (+ (* (exp x) (exp x)) (+ (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))))
532.0ms
(- (log (- (pow (exp x) 3) (pow (exp (- x)) 3))) (log (+ (* (exp x) (exp x)) (+ (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))))
511.0ms
(/ (cbrt (- (pow (exp x) 3) (pow (exp (- x)) 3))) (+ (* (exp x) (exp x)) (+ (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))))
485.0ms
(/ (sqrt (- (pow (exp x) 3) (pow (exp (- x)) 3))) (sqrt (+ (* (exp x) (exp x)) (+ (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))))

prune2.8s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

regimes38.0ms

Accuracy

0% (0.4b remaining)

Error of 0.5b against oracle of 0.1b and baseline of 0.5b

bsearch2.0ms

end0.0ms

sample5.5s

Algorithm
intervals
Results
2.7s3377×body1280valid
1.1s2475×body640valid
1.0s8247×body80valid
352.0ms1226×body320valid
132.0ms660×body160valid