Details

Time bar (total: 18.1s)

sample50.0ms

Algorithm
intervals
Results
21.0ms82×body1280valid
10.0ms46×body640valid
7.0ms171×body80valid
3.0ms26×body320valid
1.0ms14×body160valid

simplify109.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
109.0ms
(- (exp (* a x)) 1)

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize6.0ms

Local error

Found 1 expressions with local error:

0.0b
(expm1 (* a x))

rewrite1.0ms

Algorithm
rewrite-expression-head
Rules
2×log1p-expm1-u
1×add-sqr-sqrt expm1-log1p-u pow1 expm1-log1p *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt insert-posit16 expm1-udef add-log-exp
Counts
1 → 12
Calls
1 calls:
Slowest
1.0ms
(expm1 (* a x))

series48.0ms

Counts
1 → 3
Calls
1 calls:
Slowest
48.0ms
(expm1 (* a x))

simplify277.0ms

Counts
4 → 15
Calls
4 calls:
Slowest
153.0ms
(+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* a x) (* 1/6 (* (pow a 3) (pow x 3)))))
65.0ms
(- (exp (* a x)) 1)
53.0ms
(- (exp (* a x)) 1)
5.0ms
(* a x)

prune118.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 4 expressions with local error:

16.4b
(cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x))))
0.2b
(* (expm1 (* a x)) (expm1 (* a x)))
0.1b
(* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x)))
0.0b
(expm1 (* a x))

rewrite45.0ms

Algorithm
rewrite-expression-head
Rules
30×pow1
12×add-sqr-sqrt
11×add-cbrt-cube add-exp-log
9×*-un-lft-identity add-cube-cbrt
7×pow-plus pow-prod-up
6×associate-*r*
5×log1p-expm1-u
4×expm1-log1p-u associate-*l* pow-prod-down prod-exp cbrt-unprod insert-posit16 add-log-exp
3×pow2 swap-sqr pow-sqr
2×pow3 *-commutative unswap-sqr
1×cbrt-prod expm1-log1p pow1/3 rem-cbrt-cube expm1-udef
Counts
4 → 84
Calls
4 calls:
Slowest
20.0ms
(* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x)))
16.0ms
(cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x))))
6.0ms
(* (expm1 (* a x)) (expm1 (* a x)))
1.0ms
(expm1 (* a x))

series198.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
62.0ms
(cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x))))
57.0ms
(* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x)))
41.0ms
(* (expm1 (* a x)) (expm1 (* a x)))
38.0ms
(expm1 (* a x))

simplify4.6s

Counts
61 → 96
Calls
61 calls:
Slowest
680.0ms
(pow (- (exp (* a x)) 1) 2)
670.0ms
(pow (- (exp (* a x)) 1) 2)
500.0ms
(* (* (* (* (expm1 (* a x)) (expm1 (* a x))) (* (expm1 (* a x)) (expm1 (* a x)))) (* (expm1 (* a x)) (expm1 (* a x)))) (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x))))
425.0ms
(* (* (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x))) (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x)))) (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x))))
407.0ms
(+ (* 7/12 (* (pow a 4) (pow x 4))) (+ (* (pow a 3) (pow x 3)) (* (pow a 2) (pow x 2))))

prune1.0s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize24.0ms

Local error

Found 3 expressions with local error:

16.4b
(cbrt (pow (expm1 (* a x)) 3))
0.2b
(pow (expm1 (* a x)) 3)
0.0b
(expm1 (* a x))

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-prod
9×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×unpow-prod-down cube-prod
4×pow1 add-cbrt-cube add-exp-log log1p-expm1-u
3×expm1-log1p-u pow-unpow insert-posit16 add-log-exp
2×cube-mult unpow3 sqr-pow
1×pow-to-exp expm1-log1p pow-pow pow1/3 pow-exp rem-cbrt-cube expm1-udef rem-cube-cbrt
Counts
3 → 62
Calls
3 calls:
Slowest
4.0ms
(pow (expm1 (* a x)) 3)
3.0ms
(cbrt (pow (expm1 (* a x)) 3))
0.0ms
(expm1 (* a x))

series127.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
49.0ms
(pow (expm1 (* a x)) 3)
39.0ms
(cbrt (pow (expm1 (* a x)) 3))
39.0ms
(expm1 (* a x))

simplify4.1s

Counts
34 → 71
Calls
34 calls:
Slowest
464.0ms
(pow (* (cbrt (expm1 (* a x))) (cbrt (expm1 (* a x)))) 3)
406.0ms
(pow (* (cbrt (expm1 (* a x))) (cbrt (expm1 (* a x)))) 3)
327.0ms
(cbrt (* (cbrt (pow (expm1 (* a x)) 3)) (cbrt (pow (expm1 (* a x)) 3))))
315.0ms
(cbrt (pow (sqrt (expm1 (* a x))) 3))
314.0ms
(cbrt (pow (sqrt (expm1 (* a x))) 3))

prune772.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize40.0ms

Local error

Found 4 expressions with local error:

18.2b
(cbrt (* (expm1 (* a x)) (expm1 (* a x))))
18.2b
(cbrt (* (expm1 (* a x)) (expm1 (* a x))))
18.2b
(cbrt (* (expm1 (* a x)) (expm1 (* a x))))
16.4b
(cbrt (* (* (* (cbrt (* (expm1 (* a x)) (expm1 (* a x)))) (cbrt (* (expm1 (* a x)) (expm1 (* a x))))) (cbrt (* (expm1 (* a x)) (expm1 (* a x))))) (expm1 (* a x))))

rewrite132.0ms

Algorithm
rewrite-expression-head
Rules
4×cbrt-prod add-sqr-sqrt expm1-log1p-u pow1 *-un-lft-identity add-cbrt-cube pow1/3 add-exp-log add-cube-cbrt insert-posit16 log1p-expm1-u add-log-exp
Counts
4 → 48
Calls
4 calls:
Slowest
122.0ms
(cbrt (* (* (* (cbrt (* (expm1 (* a x)) (expm1 (* a x)))) (cbrt (* (expm1 (* a x)) (expm1 (* a x))))) (cbrt (* (expm1 (* a x)) (expm1 (* a x))))) (expm1 (* a x))))
3.0ms
(cbrt (* (expm1 (* a x)) (expm1 (* a x))))
3.0ms
(cbrt (* (expm1 (* a x)) (expm1 (* a x))))
3.0ms
(cbrt (* (expm1 (* a x)) (expm1 (* a x))))

series496.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
168.0ms
(cbrt (* (expm1 (* a x)) (expm1 (* a x))))
149.0ms
(cbrt (* (expm1 (* a x)) (expm1 (* a x))))
129.0ms
(cbrt (* (expm1 (* a x)) (expm1 (* a x))))
49.0ms
(cbrt (* (* (* (cbrt (* (expm1 (* a x)) (expm1 (* a x)))) (cbrt (* (expm1 (* a x)) (expm1 (* a x))))) (cbrt (* (expm1 (* a x)) (expm1 (* a x))))) (expm1 (* a x))))

simplify2.2s

Counts
16 → 60
Calls
16 calls:
Slowest
243.0ms
(pow (pow (- (exp (* a x)) 1) 2) 1/3)
228.0ms
(pow (pow (- (exp (* a x)) 1) 2) 1/3)
214.0ms
(pow (pow (- (exp (* a x)) 1) 2) 1/3)
204.0ms
(pow (pow (- (exp (* a x)) 1) 2) 1/3)
199.0ms
(pow (pow (- (exp (* a x)) 1) 2) 1/3)

prune793.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

regimes148.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch1.0ms

end0.0ms

sample2.7s

Algorithm
intervals
Results
1.1s2674×body1280valid
777.0ms5492×body80valid
429.0ms1336×body640valid
145.0ms790×body320valid
81.0ms423×body160valid