Details

Time bar (total: 2.5min)

analyze1.1s (0.7%)

Algorithm
search
Search
TrueOtherFalseIter
0%99.7%0.3%0
0%99.7%0.3%1
0%99.7%0.3%2
0%99.7%0.3%3
0%99.7%0.3%4
0%99.7%0.3%5
6.2%90.4%3.4%6
6.2%90.4%3.4%7
6.2%88.8%5%8
7.8%77.9%14.3%9
7.8%56.5%35.7%10
7.8%56.5%35.7%11
8.1%41.5%50.3%12
8.3%41.4%50.3%13
8.4%40.2%51.4%14
Compiler

Compiled 25 to 18 computations (28% saved)

sample230.0ms (0.2%)

Algorithm
intervals
Results
46.0ms524×body128nan
29.0ms291×body128invalid
26.0ms256×body128valid
Compiler

Compiled 55 to 41 computations (25.5% saved)

simplify66.0ms (0%)

Algorithm
egg-herbie
Rules
615×associate-/l/_binary64
552×associate-/r/_binary64
488×associate-*l/_binary64
352×associate-*r/_binary64
345×fma-def_binary64
Counts
1 → 2
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01826
13726
27824
318624
451724
5166424
6436224
7475024
8504524

prune5.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
0.2b
Counts
3 → 2
Alt Table
StatusErrorProgram
22.4b
(*.f64 (*.f64 (pow.f64 a (-.f64 t 1)) (/.f64 (pow.f64 z y) (exp.f64 b))) (/.f64 x y))
2.0b
(/.f64 (*.f64 x (exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
Compiler

Compiled 132 to 90 computations (31.8% saved)

localize30.0ms (0%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.1b
(*.f64 (-.f64 t 1) (log.f64 a))
0.3b
(*.f64 y (log.f64 z))
1.0b
(exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))
1.2b
(/.f64 (*.f64 x (exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)

series2.3s (1.5%)

Counts
4 → 176
Calls

4 calls:

1.3s
(/.f64 (*.f64 x (exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
645.0ms
(exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))
227.0ms
(*.f64 y (log.f64 z))
74.0ms
(*.f64 (-.f64 t 1) (log.f64 a))

rewrite36.0ms (0%)

Algorithm
rewrite-expression-head
Rules
32×add-sqr-sqrt_binary64
27×*-un-lft-identity_binary64
22×add-cube-cbrt_binary64
14×exp-sum_binary64
13×add-cbrt-cube_binary64
Counts
4 → 116
Calls

4 calls:

11.0ms
(/.f64 (*.f64 x (exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
10.0ms
(exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))
6.0ms
(*.f64 (-.f64 t 1) (log.f64 a))
3.0ms
(*.f64 y (log.f64 z))

simplify253.0ms (0.2%)

Algorithm
egg-herbie
Rules
510×fma-neg_binary64
314×associate-*r*_binary64
302×associate-*l*_binary64
245×cancel-sign-sub-inv_binary64
170×times-frac_binary64
Counts
292 → 248
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
03937243
18956044
233415911
345495911
449995911
549245911

prune286.0ms (0.2%)

Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New2426248
Fresh101
Picked011
Done000
Total2437250
Error
0.0b
Counts
250 → 7
Alt Table
StatusErrorProgram
19.4b
(*.f64 x (/.f64 (/.f64 (pow.f64 z y) (/.f64 (exp.f64 b) (pow.f64 a (+.f64 t -1)))) y))
21.4b
(/.f64 (*.f64 x (*.f64 (+.f64 (*.f64 (log.f64 a) t) 1) (/.f64 (pow.f64 z y) (*.f64 a (exp.f64 b))))) y)
23.0b
(+.f64 (*.f64 (/.f64 (pow.f64 z y) (*.f64 a (exp.f64 b))) (/.f64 x y)) (*.f64 (*.f64 (log.f64 a) t) (*.f64 (/.f64 (pow.f64 z y) (*.f64 a (exp.f64 b))) (/.f64 x y))))
19.4b
(/.f64 x (/.f64 y (/.f64 (pow.f64 z y) (/.f64 (exp.f64 b) (pow.f64 a (+.f64 t -1))))))
2.0b
(/.f64 (*.f64 x (exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
22.6b
(*.f64 (*.f64 (cbrt.f64 (*.f64 (/.f64 (pow.f64 z y) (/.f64 (exp.f64 b) (pow.f64 a (+.f64 t -1)))) (/.f64 x y))) (cbrt.f64 (*.f64 (/.f64 (pow.f64 z y) (/.f64 (exp.f64 b) (pow.f64 a (+.f64 t -1)))) (/.f64 x y)))) (cbrt.f64 (*.f64 (/.f64 (pow.f64 z y) (/.f64 (exp.f64 b) (pow.f64 a (+.f64 t -1)))) (/.f64 x y))))
28.2b
(cbrt.f64 (pow.f64 (*.f64 (/.f64 (pow.f64 z y) (/.f64 (exp.f64 b) (pow.f64 a (+.f64 t -1)))) (/.f64 x y)) 3))
Compiler

Compiled 7446 to 3197 computations (57.1% saved)

localize12.0ms (0%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.0b
(/.f64 (/.f64 (pow.f64 z y) (/.f64 (exp.f64 b) (pow.f64 a (+.f64 t -1)))) y)
0.1b
(pow.f64 a (+.f64 t -1))
0.5b
(/.f64 (exp.f64 b) (pow.f64 a (+.f64 t -1)))
1.7b
(*.f64 x (/.f64 (/.f64 (pow.f64 z y) (/.f64 (exp.f64 b) (pow.f64 a (+.f64 t -1)))) y))

series3.0s (2%)

Counts
4 → 192
Calls

4 calls:

1.8s
(*.f64 x (/.f64 (/.f64 (pow.f64 z y) (/.f64 (exp.f64 b) (pow.f64 a (+.f64 t -1)))) y))
1.0s
(/.f64 (/.f64 (pow.f64 z y) (/.f64 (exp.f64 b) (pow.f64 a (+.f64 t -1)))) y)
203.0ms
(/.f64 (exp.f64 b) (pow.f64 a (+.f64 t -1)))
31.0ms
(pow.f64 a (+.f64 t -1))

rewrite615.0ms (0.4%)

Algorithm
rewrite-expression-head
Rules
3812×times-frac_binary64
1618×add-sqr-sqrt_binary64
1564×*-un-lft-identity_binary64
1562×add-cube-cbrt_binary64
1051×unpow-prod-down_binary64
Counts
4 → 1563
Calls

4 calls:

120.0ms
(*.f64 x (/.f64 (/.f64 (pow.f64 z y) (/.f64 (exp.f64 b) (pow.f64 a (+.f64 t -1)))) y))
45.0ms
(/.f64 (/.f64 (pow.f64 z y) (/.f64 (exp.f64 b) (pow.f64 a (+.f64 t -1)))) y)
5.0ms
(/.f64 (exp.f64 b) (pow.f64 a (+.f64 t -1)))
3.0ms
(pow.f64 a (+.f64 t -1))

simplify1.9s (1.2%)

Algorithm
egg-herbie
Rules
988×associate-/l/_binary64
621×associate-*r/_binary64
407×associate-/r/_binary64
209×associate-/r*_binary64
202×/-rgt-identity_binary64
Counts
1755 → 2826
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0251264965
1491064813
2496964813
3499064813

prune5.7s (3.8%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New282332826
Fresh415
Picked101
Done011
Total282852833
Error
0b
Counts
2833 → 5
Alt Table
StatusErrorProgram
24.0b
(+.f64 (/.f64 (*.f64 (exp.f64 (*.f64 (log.f64 z) y)) x) (*.f64 (exp.f64 b) (*.f64 a y))) (/.f64 (*.f64 (log.f64 a) (*.f64 t (*.f64 (exp.f64 (*.f64 (log.f64 z) y)) x))) (*.f64 (exp.f64 b) (*.f64 y a))))
2.0b
(/.f64 (*.f64 x (exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
23.0b
(+.f64 (*.f64 (/.f64 (pow.f64 z y) (*.f64 a (exp.f64 b))) (/.f64 x y)) (*.f64 (*.f64 (log.f64 a) t) (*.f64 (/.f64 (pow.f64 z y) (*.f64 a (exp.f64 b))) (/.f64 x y))))
19.4b
(*.f64 x (*.f64 (/.f64 1 (sqrt.f64 (exp.f64 b))) (/.f64 (/.f64 (pow.f64 z y) (/.f64 (sqrt.f64 (exp.f64 b)) (pow.f64 a (-.f64 t 1)))) y)))
18.3b
(*.f64 (*.f64 x (*.f64 (/.f64 (pow.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z)) y) (*.f64 (cbrt.f64 (exp.f64 b)) (cbrt.f64 (exp.f64 b)))) (sqrt.f64 (pow.f64 a (-.f64 t 1))))) (/.f64 (/.f64 (pow.f64 (cbrt.f64 z) y) (/.f64 (cbrt.f64 (exp.f64 b)) (sqrt.f64 (pow.f64 a (+.f64 t -1))))) y))
Compiler

Compiled 105479 to 43991 computations (58.3% saved)

localize25.0ms (0%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.5b
(*.f64 (cbrt.f64 z) (cbrt.f64 z))
0.5b
(/.f64 (pow.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z)) y) (*.f64 (cbrt.f64 (exp.f64 b)) (cbrt.f64 (exp.f64 b))))
0.6b
(*.f64 (*.f64 x (*.f64 (/.f64 (pow.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z)) y) (*.f64 (cbrt.f64 (exp.f64 b)) (cbrt.f64 (exp.f64 b)))) (sqrt.f64 (pow.f64 a (-.f64 t 1))))) (/.f64 (/.f64 (pow.f64 (cbrt.f64 z) y) (/.f64 (cbrt.f64 (exp.f64 b)) (sqrt.f64 (pow.f64 a (+.f64 t -1))))) y))
0.6b
(cbrt.f64 z)

series9.6s (6.4%)

Counts
4 → 132
Calls

4 calls:

6.8s
(*.f64 (*.f64 x (*.f64 (/.f64 (pow.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z)) y) (*.f64 (cbrt.f64 (exp.f64 b)) (cbrt.f64 (exp.f64 b)))) (sqrt.f64 (pow.f64 a (-.f64 t 1))))) (/.f64 (/.f64 (pow.f64 (cbrt.f64 z) y) (/.f64 (cbrt.f64 (exp.f64 b)) (sqrt.f64 (pow.f64 a (+.f64 t -1))))) y))
2.6s
(/.f64 (pow.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z)) y) (*.f64 (cbrt.f64 (exp.f64 b)) (cbrt.f64 (exp.f64 b))))
77.0ms
(*.f64 (cbrt.f64 z) (cbrt.f64 z))
42.0ms
(cbrt.f64 z)

rewrite3.5s (2.3%)

Algorithm
rewrite-expression-head
Rules
6200×times-frac_binary64
2592×add-sqr-sqrt_binary64
2584×*-un-lft-identity_binary64
2584×add-cube-cbrt_binary64
2125×associate-*r*_binary64
Counts
4 → 2336
Calls

4 calls:

640.0ms
(*.f64 (*.f64 x (*.f64 (/.f64 (pow.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z)) y) (*.f64 (cbrt.f64 (exp.f64 b)) (cbrt.f64 (exp.f64 b)))) (sqrt.f64 (pow.f64 a (-.f64 t 1))))) (/.f64 (/.f64 (pow.f64 (cbrt.f64 z) y) (/.f64 (cbrt.f64 (exp.f64 b)) (sqrt.f64 (pow.f64 a (+.f64 t -1))))) y))
12.0ms
(/.f64 (pow.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z)) y) (*.f64 (cbrt.f64 (exp.f64 b)) (cbrt.f64 (exp.f64 b))))
11.0ms
(*.f64 (cbrt.f64 z) (cbrt.f64 z))
2.0ms
(cbrt.f64 z)

simplify18.1s (12.1%)

Algorithm
egg-herbie
Rules
1291×associate-/l/_binary64
843×times-frac_binary64
447×/-rgt-identity_binary64
46×sqr-pow_binary64
27×fma-def_binary64
Counts
2468 → 3284
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
03677164136
14386163285
25537163285

prune8.4s (5.6%)

Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New331803318
Fresh033
Picked011
Done011
Total331853323
Error
0b
Counts
3323 → 5
Alt Table
StatusErrorProgram
24.0b
(+.f64 (/.f64 (*.f64 (exp.f64 (*.f64 (log.f64 z) y)) x) (*.f64 (exp.f64 b) (*.f64 a y))) (/.f64 (*.f64 (log.f64 a) (*.f64 t (*.f64 (exp.f64 (*.f64 (log.f64 z) y)) x))) (*.f64 (exp.f64 b) (*.f64 y a))))
2.0b
(/.f64 (*.f64 x (exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
23.0b
(+.f64 (*.f64 (/.f64 (pow.f64 z y) (*.f64 a (exp.f64 b))) (/.f64 x y)) (*.f64 (*.f64 (log.f64 a) t) (*.f64 (/.f64 (pow.f64 z y) (*.f64 a (exp.f64 b))) (/.f64 x y))))
19.4b
(*.f64 x (*.f64 (/.f64 1 (sqrt.f64 (exp.f64 b))) (/.f64 (/.f64 (pow.f64 z y) (/.f64 (sqrt.f64 (exp.f64 b)) (pow.f64 a (-.f64 t 1)))) y)))
18.3b
(*.f64 (*.f64 x (*.f64 (/.f64 (pow.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z)) y) (*.f64 (cbrt.f64 (exp.f64 b)) (cbrt.f64 (exp.f64 b)))) (sqrt.f64 (pow.f64 a (-.f64 t 1))))) (/.f64 (/.f64 (pow.f64 (cbrt.f64 z) y) (/.f64 (cbrt.f64 (exp.f64 b)) (sqrt.f64 (pow.f64 a (+.f64 t -1))))) y))
Compiler

Compiled 221956 to 85143 computations (61.6% saved)

localize31.0ms (0%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.1b
(pow.f64 a (-.f64 t 1))
0.4b
(/.f64 (sqrt.f64 (exp.f64 b)) (pow.f64 a (-.f64 t 1)))
0.5b
(*.f64 (/.f64 1 (sqrt.f64 (exp.f64 b))) (/.f64 (/.f64 (pow.f64 z y) (/.f64 (sqrt.f64 (exp.f64 b)) (pow.f64 a (-.f64 t 1)))) y))
1.7b
(*.f64 x (*.f64 (/.f64 1 (sqrt.f64 (exp.f64 b))) (/.f64 (/.f64 (pow.f64 z y) (/.f64 (sqrt.f64 (exp.f64 b)) (pow.f64 a (-.f64 t 1)))) y)))

series4.7s (3.1%)

Counts
4 → 184
Calls

4 calls:

2.4s
(*.f64 x (*.f64 (/.f64 1 (sqrt.f64 (exp.f64 b))) (/.f64 (/.f64 (pow.f64 z y) (/.f64 (sqrt.f64 (exp.f64 b)) (pow.f64 a (-.f64 t 1)))) y)))
1.8s
(*.f64 (/.f64 1 (sqrt.f64 (exp.f64 b))) (/.f64 (/.f64 (pow.f64 z y) (/.f64 (sqrt.f64 (exp.f64 b)) (pow.f64 a (-.f64 t 1)))) y))
400.0ms
(/.f64 (sqrt.f64 (exp.f64 b)) (pow.f64 a (-.f64 t 1)))
52.0ms
(pow.f64 a (-.f64 t 1))

rewrite5.3s (3.6%)

Algorithm
rewrite-expression-head
Rules
8320×times-frac_binary64
4281×add-sqr-sqrt_binary64
3810×*-un-lft-identity_binary64
3761×add-cube-cbrt_binary64
2645×associate-*r*_binary64
Counts
4 → 3144
Calls

4 calls:

1.9s
(*.f64 (/.f64 1 (sqrt.f64 (exp.f64 b))) (/.f64 (/.f64 (pow.f64 z y) (/.f64 (sqrt.f64 (exp.f64 b)) (pow.f64 a (-.f64 t 1)))) y))
453.0ms
(*.f64 x (*.f64 (/.f64 1 (sqrt.f64 (exp.f64 b))) (/.f64 (/.f64 (pow.f64 z y) (/.f64 (sqrt.f64 (exp.f64 b)) (pow.f64 a (-.f64 t 1)))) y)))
20.0ms
(/.f64 (sqrt.f64 (exp.f64 b)) (pow.f64 a (-.f64 t 1)))
8.0ms
(pow.f64 a (-.f64 t 1))

simplify10.7s (7.2%)

Algorithm
egg-herbie
Rules
1005×associate-/l/_binary64
577×associate-/r/_binary64
359×/-rgt-identity_binary64
336×associate-/r*_binary64
213×sqr-pow_binary64
Counts
3328 → 3666
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
02980138237
14670126092
24048125753
34323125514
44980125514
54949125514

prune10.3s (6.9%)

Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New366603666
Fresh022
Picked011
Done022
Total366653671
Error
0b
Counts
3671 → 5
Alt Table
StatusErrorProgram
24.0b
(+.f64 (/.f64 (*.f64 (exp.f64 (*.f64 (log.f64 z) y)) x) (*.f64 (exp.f64 b) (*.f64 a y))) (/.f64 (*.f64 (log.f64 a) (*.f64 t (*.f64 (exp.f64 (*.f64 (log.f64 z) y)) x))) (*.f64 (exp.f64 b) (*.f64 y a))))
2.0b
(/.f64 (*.f64 x (exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
23.0b
(+.f64 (*.f64 (/.f64 (pow.f64 z y) (*.f64 a (exp.f64 b))) (/.f64 x y)) (*.f64 (*.f64 (log.f64 a) t) (*.f64 (/.f64 (pow.f64 z y) (*.f64 a (exp.f64 b))) (/.f64 x y))))
19.4b
(*.f64 x (*.f64 (/.f64 1 (sqrt.f64 (exp.f64 b))) (/.f64 (/.f64 (pow.f64 z y) (/.f64 (sqrt.f64 (exp.f64 b)) (pow.f64 a (-.f64 t 1)))) y)))
18.3b
(*.f64 (*.f64 x (*.f64 (/.f64 (pow.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z)) y) (*.f64 (cbrt.f64 (exp.f64 b)) (cbrt.f64 (exp.f64 b)))) (sqrt.f64 (pow.f64 a (-.f64 t 1))))) (/.f64 (/.f64 (pow.f64 (cbrt.f64 z) y) (/.f64 (cbrt.f64 (exp.f64 b)) (sqrt.f64 (pow.f64 a (+.f64 t -1))))) y))
Compiler

Compiled 185302 to 84988 computations (54.1% saved)

regimes30.2s (20.1%)

Accuracy

Total 1.9b remaining (96.9%)

Threshold costs 0b (0%)

Counts
1081 → 1
Compiler

Compiled 425532 to 275643 computations (35.2% saved)

simplify3.0ms (0%)

Algorithm
egg-herbie
Rules
+-commutative_binary64
*-commutative_binary64
sub-neg_binary64
neg-sub0_binary64
neg-mul-1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01828
12928
23328
33528
43628
53428

end1.0ms (0%)

Compiler

Compiled 24 to 17 computations (29.2% saved)

sample33.7s (22.4%)

Algorithm
intervals
Results
2.2s14229×body128nan
1.4s8000×body128valid
1.2s7162×body128invalid
Compiler

Compiled 371 to 234 computations (36.9% saved)

Profiling

Loading profile data...