Details

Time bar (total: 36.3s)

sample422.0ms

Algorithm
intervals
Results
114.0ms202×body10240exit
59.0ms369×body80nan
20.0ms240×body80valid
4.0ms18×body160valid

simplify250.0ms

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

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 2 expressions with local error:

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

rewrite18.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
8.0ms
(+ (exp x) 1)
8.0ms
(sqrt (+ (exp x) 1))

series61.0ms

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

simplify693.0ms

Counts
16 → 36
Calls
16 calls:
Slowest
364.0ms
(- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3))))
94.0ms
(sqrt (+ (pow (exp x) 3) (pow 1 3)))
69.0ms
(sqrt (- (* (exp x) (exp x)) (* 1 1)))
48.0ms
(+ x (+ (* 1/2 (pow x 2)) 2))
14.0ms
(sqrt (+ (exp x) 1))

prune305.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize61.0ms

Local error

Found 4 expressions with local error:

3.8b
(- (* 1 1) (* (exp x) 1))
0.1b
(pow (exp x) 3)
0.1b
(* (exp x) (exp x))
0.0b
(+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))

rewrite106.0ms

Algorithm
rewrite-expression-head
Rules
21×exp-prod
20×add-sqr-sqrt
18×*-un-lft-identity add-cube-cbrt
12×pow1
11×add-log-exp
7×add-cbrt-cube
4×pow-pow pow-prod-down add-exp-log pow-sqr pow-prod-up insert-posit16
3×pow-unpow unpow-prod-down cube-prod swap-sqr associate-*r* associate-*l*
2×associate-+r+ sum-log sub-neg diff-log
1×pow2 cube-mult pow-to-exp +-commutative associate-+r- flip3-+ pow-plus flip3-- distribute-rgt-out-- unpow3 pow-exp prod-exp *-commutative cbrt-unprod flip-+ flip-- rem-cube-cbrt unswap-sqr sqr-pow
Counts
4 → 92
Calls
4 calls:
Slowest
67.0ms
(+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))
24.0ms
(* (exp x) (exp x))
10.0ms
(- (* 1 1) (* (exp x) 1))
3.0ms
(pow (exp x) 3)

series90.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
36.0ms
(+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))
24.0ms
(pow (exp x) 3)
16.0ms
(- (* 1 1) (* (exp x) 1))
14.0ms
(* (exp x) (exp x))

simplify2.5s

Counts
71 → 104
Calls
71 calls:
Slowest
237.0ms
(* (exp (* (cbrt x) (cbrt x))) (exp (* (cbrt x) (cbrt x))))
224.0ms
(* (exp (* (exp x) (exp x))) (/ (exp (* 1 1)) (exp (* (exp x) 1))))
213.0ms
(* (exp (* (exp x) (exp x))) (exp (- (* 1 1) (* (exp x) 1))))
204.0ms
(- (+ (pow (exp x) 2) 1) (exp x))
202.0ms
(- (+ (pow (exp x) 2) 1) (exp x))

prune1.2s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize80.0ms

Local error

Found 4 expressions with local error:

3.8b
(- (* 1 1) (* (exp x) 1))
3.8b
(- (* 1 1) (* (exp x) 1))
3.8b
(- (* 1 1) (* (exp x) 1))
0.1b
(pow (exp x) 3)

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
10×add-log-exp
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
5×pow1 add-cbrt-cube
4×pow-pow add-exp-log insert-posit16
3×pow-unpow exp-prod sub-neg unpow-prod-down flip3-- distribute-rgt-out-- diff-log cube-prod flip--
1×cube-mult pow-to-exp unpow3 pow-exp rem-cube-cbrt sqr-pow
Counts
4 → 69
Calls
4 calls:
Slowest
11.0ms
(- (* 1 1) (* (exp x) 1))
10.0ms
(- (* 1 1) (* (exp x) 1))
10.0ms
(- (* 1 1) (* (exp x) 1))
6.0ms
(pow (exp x) 3)

series109.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
38.0ms
(pow (exp x) 3)
27.0ms
(- (* 1 1) (* (exp x) 1))
26.0ms
(- (* 1 1) (* (exp x) 1))
17.0ms
(- (* 1 1) (* (exp x) 1))

simplify1.5s

Counts
32 → 81
Calls
32 calls:
Slowest
201.0ms
(pow (* (cbrt (exp x)) (cbrt (exp x))) 3)
179.0ms
(- (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))))
175.0ms
(- (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))))
173.0ms
(pow (* (cbrt (exp x)) (cbrt (exp x))) 3)
135.0ms
(- (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))))

prune1.1s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize28.0ms

Local error

Found 4 expressions with local error:

0.0b
(cbrt (* (* (+ (exp x) 1) (+ (exp x) 1)) (+ (exp x) 1)))
0.0b
(* (+ (exp x) 1) (+ (exp x) 1))
0.0b
(+ (exp x) 1)
0.0b
(+ (exp x) 1)

rewrite136.0ms

Algorithm
rewrite-expression-head
Rules
35×flip3-+ flip-+
32×frac-times
26×cbrt-div *-un-lft-identity
16×associate-*l/
11×pow1
10×add-sqr-sqrt associate-*r/
8×add-cube-cbrt distribute-lft-out add-log-exp
6×add-cbrt-cube swap-sqr add-exp-log
4×associate-*r* associate-*l* insert-posit16
2×+-commutative sum-log
1×cbrt-prod pow2 distribute-rgt-in distribute-lft-in pow-plus pow1/3 pow3 pow-prod-down prod-exp pow-sqr *-commutative pow-prod-up rem-cbrt-cube cbrt-unprod unswap-sqr
Counts
4 → 104
Calls
4 calls:
Slowest
73.0ms
(cbrt (* (* (+ (exp x) 1) (+ (exp x) 1)) (+ (exp x) 1)))
41.0ms
(* (+ (exp x) 1) (+ (exp x) 1))
11.0ms
(+ (exp x) 1)
8.0ms
(+ (exp x) 1)

series71.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
32.0ms
(* (+ (exp x) 1) (+ (exp x) 1))
19.0ms
(cbrt (* (* (+ (exp x) 1) (+ (exp x) 1)) (+ (exp x) 1)))
11.0ms
(+ (exp x) 1)
8.0ms
(+ (exp x) 1)

simplify16.7s

Counts
86 → 116
Calls
86 calls:
Slowest
1.1s
(cbrt (* (* (+ (pow (exp x) 3) (pow 1 3)) (+ (pow (exp x) 3) (pow 1 3))) (+ (pow (exp x) 3) (pow 1 3))))
818.0ms
(cbrt (* (* (- (* (exp x) (exp x)) (* 1 1)) (- (* (exp x) (exp x)) (* 1 1))) (+ (exp x) 1)))
814.0ms
(cbrt (* (* (+ (exp x) 1) (+ (exp x) 1)) (- (* (exp x) (exp x)) (* 1 1))))
727.0ms
(cbrt (* (* (- (* (exp x) (exp x)) (* 1 1)) (+ (exp x) 1)) (+ (pow (exp x) 3) (pow 1 3))))
669.0ms
(cbrt (* (* (+ (exp x) 1) (- (* (exp x) (exp x)) (* 1 1))) (- (* (exp x) (exp x)) (* 1 1))))

prune1.2s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes50.0ms

Accuracy

0% (0.0b remaining)

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

bsearch5.0ms

end0.0ms

sample9.6s

Algorithm
intervals
Results
6.4s6857×body10240exit
1.9s12854×body80nan
818.0ms7461×body80valid
167.0ms656×body160valid