Details

Time bar (total: 42.2s)

sample516.0ms

Algorithm
intervals
Results
252.0ms209×body10240exit
119.0ms380×body80nan
32.0ms248×body80valid
4.0ms13×body160valid

simplify382.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
382.0ms
(sqrt (/ (- (exp (* 2 x)) 1) (- (exp x) 1)))

prune20.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize31.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (exp x) 1)
0.0b
(sqrt (+ (exp x) 1))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
7×*-un-lft-identity
4×add-sqr-sqrt sqrt-prod add-log-exp
3×pow1 add-cube-cbrt
2×flip3-+ add-cbrt-cube sqrt-div add-exp-log flip-+ insert-posit16 distribute-lft-out
1×+-commutative rem-sqrt-square sum-log sqrt-pow1 pow1/2
Counts
2 → 30
Calls
2 calls:
Slowest
14.0ms
(+ (exp x) 1)
9.0ms
(sqrt (+ (exp x) 1))

series74.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
53.0ms
(sqrt (+ (exp x) 1))
21.0ms
(+ (exp x) 1)

simplify734.0ms

Counts
16 → 36
Calls
16 calls:
Slowest
433.0ms
(- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3))))
72.0ms
(sqrt (+ (pow (exp x) 3) (pow 1 3)))
47.0ms
(+ x (+ (* 1/2 (pow x 2)) 2))
46.0ms
(sqrt (- (* (exp x) (exp x)) (* 1 1)))
22.0ms
(+ (exp x) 1)

prune310.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize34.0ms

Local error

Found 4 expressions with local error:

3.5b
(- (* 1 1) (* (exp x) 1))
0.3b
(/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))
0.1b
(pow (exp x) 3)
0.1b
(* (exp x) (exp x))

rewrite205.0ms

Algorithm
rewrite-expression-head
Rules
77×*-un-lft-identity
35×add-sqr-sqrt
33×add-cube-cbrt
30×times-frac
24×distribute-lft-out
21×exp-prod
19×unpow-prod-down cube-prod
12×pow1
10×associate-/l*
9×add-cbrt-cube
6×add-exp-log add-log-exp
5×cube-mult
4×pow-pow pow-prod-down pow-sqr sum-cubes pow-prod-up insert-posit16
3×pow-unpow associate-/r* swap-sqr associate-*r* associate-*l*
2×flip3-+ associate-/r/ flip-+ associate-/l/
1×pow2 pow-to-exp cbrt-undiv clear-num sub-neg frac-2neg pow-plus flip3-- distribute-rgt-out-- diff-log unpow3 div-exp pow-exp prod-exp *-commutative cbrt-unprod div-inv flip-- rem-cube-cbrt unswap-sqr sqr-pow
Counts
4 → 136
Calls
4 calls:
Slowest
163.0ms
(/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))
23.0ms
(* (exp x) (exp x))
12.0ms
(- (* 1 1) (* (exp x) 1))
4.0ms
(pow (exp x) 3)

series195.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
113.0ms
(/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))
28.0ms
(* (exp x) (exp x))
27.0ms
(pow (exp x) 3)
26.0ms
(- (* 1 1) (* (exp x) 1))

simplify15.1s

Counts
142 → 148
Calls
142 calls:
Slowest
599.0ms
(/ (pow 1 3) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))
343.0ms
(/ (* (* (+ (pow (exp x) 3) (pow 1 3)) (+ (pow (exp x) 3) (pow 1 3))) (+ (pow (exp x) 3) (pow 1 3))) (* (* (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))
312.0ms
(/ (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))) (* (cbrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))) (cbrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
283.0ms
(/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (* (cbrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))) (cbrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
269.0ms
(/ (+ (pow (exp x) 3) (* 1 1)) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))

prune1.9s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize60.0ms

Local error

Found 4 expressions with local error:

3.5b
(- (* 1 1) (* (exp x) 1))
0.3b
(/ (+ (cbrt (* (* (pow (exp x) 3) (pow (exp x) 3)) (pow (exp x) 3))) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))
0.1b
(pow (exp x) 3)
0.1b
(pow (exp x) 3)

rewrite171.0ms

Algorithm
rewrite-expression-head
Rules
34×*-un-lft-identity
22×add-sqr-sqrt add-cube-cbrt
15×times-frac
8×pow-pow add-cbrt-cube distribute-lft-out
6×cube-mult pow1 pow-unpow exp-prod unpow-prod-down cube-prod add-exp-log add-log-exp
5×associate-/l*
4×insert-posit16
3×associate-/r*
2×pow-to-exp flip3-+ unpow3 pow-exp associate-/r/ flip-+ rem-cube-cbrt sqr-pow associate-/l/
1×cbrt-undiv clear-num sub-neg frac-2neg flip3-- distribute-rgt-out-- diff-log div-exp div-inv flip--
Counts
4 → 108
Calls
4 calls:
Slowest
139.0ms
(/ (+ (cbrt (* (* (pow (exp x) 3) (pow (exp x) 3)) (pow (exp x) 3))) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))
16.0ms
(- (* 1 1) (* (exp x) 1))
7.0ms
(pow (exp x) 3)
7.0ms
(pow (exp x) 3)

series216.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
115.0ms
(/ (+ (cbrt (* (* (pow (exp x) 3) (pow (exp x) 3)) (pow (exp x) 3))) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))
41.0ms
(pow (exp x) 3)
39.0ms
(pow (exp x) 3)
20.0ms
(- (* 1 1) (* (exp x) 1))

simplify10.2s

Counts
83 → 120
Calls
83 calls:
Slowest
360.0ms
(/ (* (* (+ (cbrt (* (* (pow (exp x) 3) (pow (exp x) 3)) (pow (exp x) 3))) (pow 1 3)) (+ (cbrt (* (* (pow (exp x) 3) (pow (exp x) 3)) (pow (exp x) 3))) (pow 1 3))) (+ (cbrt (* (* (pow (exp x) 3) (pow (exp x) 3)) (pow (exp x) 3))) (pow 1 3))) (* (* (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))
305.0ms
(+ (pow (cbrt (* (* (pow (exp x) 3) (pow (exp x) 3)) (pow (exp x) 3))) 3) (pow (pow 1 3) 3))
303.0ms
(/ (cbrt (+ (cbrt (* (* (pow (exp x) 3) (pow (exp x) 3)) (pow (exp x) 3))) (pow 1 3))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))
301.0ms
(/ (sqrt (+ (cbrt (* (* (pow (exp x) 3) (pow (exp x) 3)) (pow (exp x) 3))) (pow 1 3))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))
291.0ms
(/ (+ (cbrt (* (* (pow (exp x) 3) (pow (exp x) 3)) (pow (exp x) 3))) (pow 1 3)) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))

prune1.9s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes43.0ms

Accuracy

0% (0.0b remaining)

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

bsearch2.0ms

end0.0ms

sample10.1s

Algorithm
intervals
Results
6.0s6601×body10240exit
2.6s12591×body80nan
888.0ms7451×body80valid
163.0ms682×body160valid