Details

Time bar (total: 6.1s)

analyze488.0ms (8%)

Algorithm
search
Search
TrueOtherFalseIter
0%0%100%0
0%0%100%1
0%0%100%2
0%0%100%3
0%0%100%4
0%0%100%5
0%0%100%6
0%0%100%7
0%0%100%8
0%0%100%9
0%0%100%10
0%0%100%11
0%0%100%12
0%0%100%13
0%0%100%14
Compiler

Compiled 33 to 24 computations (27.3% saved)

sample58.0ms (0.9%)

Algorithm
intervals
Results
16.0ms112×body256valid
10.0ms53×body512valid
9.0ms286×pre128true
7.0ms91×body128valid
2.0ms30×body128nan
Compiler

Compiled 56 to 41 computations (26.8% saved)

simplify312.0ms (5.1%)

Algorithm
egg-herbie
Rules
904×div-sub_binary64
743×associate-/l*_binary64
567×times-frac_binary64
521×associate-/l/_binary64
427×associate-/r/_binary64
Counts
1 → 1
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01326
12924
26224
312524
417524
528424
645624
775924
8118624
9163524
10191324
11186824
12191624
13198524
14202924
15159724
16158924
17158124
18158524
19158724
20158724
21180124
22190124
23183524
24184324
25186524
26187724
27188324
28188324
29192724
30198324
31193524
32193524
33174624

prune3.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112
Error
53.0b
Counts
2 → 1
Alt Table
StatusErrorProgram
53.0b
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))) b) (*.f64 3 a))
Compiler

Compiled 57 to 39 computations (31.6% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b
(-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))
0.2b
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))) b) (*.f64 3 a))
0.3b
(*.f64 (*.f64 3 a) c)
27.3b
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))) b)

rewrite176.0ms (2.9%)

Algorithm
rewrite-expression-head
Error
50.1b
Rules
20×add-sqr-sqrt_binary64
14×*-un-lft-identity_binary64
14×add-cbrt-cube_binary64
14×add-exp-log_binary64
pow1_binary64
Counts
4 → 77
Calls

4 calls:

9.0ms
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))) b) (*.f64 3 a))
6.0ms
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))) b)
5.0ms
(*.f64 (*.f64 3 a) c)
3.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))
Compiler

Compiled 1868 to 1088 computations (41.8% saved)

series145.0ms (2.4%)

Error
0.2b
Counts
4 → 60
Calls

4 calls:

51.0ms
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))) b) (*.f64 3 a))
37.0ms
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))) b)
29.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))
11.0ms
(*.f64 (*.f64 3 a) c)
Compiler

Compiled 2276 to 1674 computations (26.4% saved)

simplify94.0ms (1.5%)

Algorithm
egg-herbie
Rules
695×associate-/l*_binary64
251×distribute-rgt-in_binary64
228×distribute-rgt-neg-in_binary64
222×distribute-lft-in_binary64
205×distribute-lft-neg-in_binary64
Counts
137 → 110
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02223206
15842948
221282923
353312923

prune48.0ms (0.8%)

Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New1055110
Fresh000
Picked101
Done000
Total1065111
Error
0.2b
Counts
111 → 5
Alt Table
StatusErrorProgram
53.0b
(/.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 3 (*.f64 c a)))) b) 3) a)
1.1b
(-.f64 (-.f64 (-.f64 (*.f64 -1/2 (/.f64 c b)) (*.f64 3/8 (/.f64 (*.f64 c (*.f64 c a)) (pow.f64 b 3)))) (*.f64 135/128 (/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)))) (*.f64 9/16 (/.f64 (*.f64 (*.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))))
1.5b
(/.f64 (-.f64 (*.f64 -3/2 (/.f64 (*.f64 c a) b)) (+.f64 (*.f64 9/8 (/.f64 (*.f64 (*.f64 c a) (*.f64 c a)) (pow.f64 b 3))) (+.f64 (*.f64 27/16 (/.f64 (pow.f64 (*.f64 c a) 3) (pow.f64 b 5))) (*.f64 405/128 (/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7)))))) (*.f64 3 a))
53.4b
(/.f64 (*.f64 (+.f64 (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 3 (*.f64 c a))))) (sqrt.f64 b)) (-.f64 (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 3 (*.f64 c a))))) (sqrt.f64 b))) (*.f64 3 a))
52.6b
(/.f64 (/.f64 (-.f64 (-.f64 (*.f64 b b) (*.f64 3 (*.f64 c a))) (*.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 3 (*.f64 c a)))))) (*.f64 3 a))
Compiler

Compiled 1824 to 1039 computations (43% saved)

localize30.0ms (0.5%)

Local error

Found 4 expressions with local error:

0.3b
(*.f64 (*.f64 a a) (pow.f64 c 3))
0.3b
(/.f64 (*.f64 c (*.f64 c a)) (pow.f64 b 3))
0.4b
(/.f64 (*.f64 (*.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
0.4b
(*.f64 (pow.f64 a 3) (pow.f64 c 4))

rewrite292.0ms (4.8%)

Algorithm
rewrite-expression-head
Error
0.2b
Rules
109×add-exp-log_binary64
54×prod-exp_binary64
42×add-sqr-sqrt_binary64
30×div-exp_binary64
29×unpow-prod-down_binary64
Counts
4 → 178
Calls

4 calls:

9.0ms
(/.f64 (*.f64 (*.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
8.0ms
(*.f64 (*.f64 a a) (pow.f64 c 3))
7.0ms
(*.f64 (pow.f64 a 3) (pow.f64 c 4))
7.0ms
(/.f64 (*.f64 c (*.f64 c a)) (pow.f64 b 3))
Compiler

Compiled 7318 to 4605 computations (37.1% saved)

series205.0ms (3.4%)

Error
0.2b
Counts
4 → 30
Calls

4 calls:

76.0ms
(*.f64 (pow.f64 a 3) (pow.f64 c 4))
54.0ms
(/.f64 (*.f64 (*.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
45.0ms
(/.f64 (*.f64 c (*.f64 c a)) (pow.f64 b 3))
25.0ms
(*.f64 (*.f64 a a) (pow.f64 c 3))
Compiler

Compiled 3018 to 2244 computations (25.6% saved)

simplify147.0ms (2.4%)

Algorithm
egg-herbie
Rules
665×log-prod_binary64
394×times-frac_binary64
380×associate-*l*_binary64
327×associate-*r*_binary64
312×log-div_binary64
Counts
208 → 181
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02653437
15913061
234352982
346442982
454732982

prune125.0ms (2.1%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New1801181
Fresh044
Picked011
Done000
Total1806186
Error
0.2b
Counts
186 → 6
Alt Table
StatusErrorProgram
53.0b
(/.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 3 (*.f64 c a)))) b) 3) a)
1.1b
(-.f64 (-.f64 (-.f64 (*.f64 -1/2 (/.f64 c b)) (*.f64 3/8 (/.f64 (*.f64 c (*.f64 c a)) (pow.f64 b 3)))) (*.f64 135/128 (/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)))) (*.f64 9/16 (/.f64 (*.f64 (*.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))))
1.5b
(/.f64 (-.f64 (*.f64 -3/2 (/.f64 (*.f64 c a) b)) (+.f64 (*.f64 9/8 (/.f64 (*.f64 (*.f64 c a) (*.f64 c a)) (pow.f64 b 3))) (+.f64 (*.f64 27/16 (/.f64 (pow.f64 (*.f64 c a) 3) (pow.f64 b 5))) (*.f64 405/128 (/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7)))))) (*.f64 3 a))
5.0b
(-.f64 (-.f64 (-.f64 (*.f64 -1/2 (/.f64 c b)) (*.f64 3/8 (log.f64 (exp.f64 (/.f64 (*.f64 a (*.f64 c c)) (pow.f64 b 3)))))) (*.f64 135/128 (/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)))) (*.f64 9/16 (/.f64 (*.f64 (*.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))))
53.4b
(/.f64 (*.f64 (+.f64 (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 3 (*.f64 c a))))) (sqrt.f64 b)) (-.f64 (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 3 (*.f64 c a))))) (sqrt.f64 b))) (*.f64 3 a))
52.6b
(/.f64 (/.f64 (-.f64 (-.f64 (*.f64 b b) (*.f64 3 (*.f64 c a))) (*.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 3 (*.f64 c a)))))) (*.f64 3 a))
Compiler

Compiled 3906 to 2442 computations (37.5% saved)

localize31.0ms (0.5%)

Local error

Found 4 expressions with local error:

0.3b
(/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))
0.4b
(/.f64 (*.f64 (*.f64 c a) (*.f64 c a)) (pow.f64 b 3))
0.5b
(*.f64 (*.f64 c a) (*.f64 c a))
0.7b
(pow.f64 (*.f64 c a) 3)

rewrite257.0ms (4.2%)

Algorithm
rewrite-expression-head
Error
0.2b
Rules
127×add-exp-log_binary64
60×prod-exp_binary64
46×pow1_binary64
45×div-exp_binary64
42×add-cbrt-cube_binary64
Counts
4 → 168
Calls

4 calls:

9.0ms
(/.f64 (*.f64 (*.f64 c a) (*.f64 c a)) (pow.f64 b 3))
7.0ms
(/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))
5.0ms
(*.f64 (*.f64 c a) (*.f64 c a))
3.0ms
(pow.f64 (*.f64 c a) 3)
Compiler

Compiled 7015 to 4102 computations (41.5% saved)

series159.0ms (2.6%)

Error
0.2b
Counts
4 → 30
Calls

4 calls:

60.0ms
(/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))
48.0ms
(/.f64 (*.f64 (*.f64 c a) (*.f64 c a)) (pow.f64 b 3))
24.0ms
(pow.f64 (*.f64 c a) 3)
23.0ms
(*.f64 (*.f64 c a) (*.f64 c a))
Compiler

Compiled 3422 to 2420 computations (29.3% saved)

simplify132.0ms (2.2%)

Algorithm
egg-herbie
Rules
556×log-prod_binary64
538×unswap-sqr_binary64
337×times-frac_binary64
261×log-div_binary64
257×associate-/l*_binary64
Counts
198 → 171
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02093051
14262417
225582379
345152379
452672379

prune95.0ms (1.6%)

Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New1692171
Fresh044
Picked011
Done011
Total1698177
Error
0.2b
Counts
177 → 8
Alt Table
StatusErrorProgram
53.4b
(/.f64 (*.f64 (+.f64 (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 3 (*.f64 c a))))) (sqrt.f64 b)) (-.f64 (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 3 (*.f64 c a))))) (sqrt.f64 b))) (*.f64 3 a))
2.3b
(/.f64 (-.f64 (*.f64 -3/2 (/.f64 (*.f64 c a) b)) (+.f64 (*.f64 9/8 (/.f64 (*.f64 (*.f64 c a) (*.f64 c a)) (pow.f64 b 3))) (+.f64 (*.f64 27/16 (/.f64 (pow.f64 (*.f64 c a) 3) (pow.f64 b 5))) (*.f64 405/128 (log.f64 (exp.f64 (/.f64 (pow.f64 (*.f64 c a) 4) (pow.f64 b 7)))))))) (*.f64 3 a))
53.0b
(/.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 3 (*.f64 c a)))) b) 3) a)
1.1b
(-.f64 (-.f64 (-.f64 (*.f64 -1/2 (/.f64 c b)) (*.f64 3/8 (/.f64 (*.f64 c (*.f64 c a)) (pow.f64 b 3)))) (*.f64 135/128 (/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)))) (*.f64 9/16 (/.f64 (*.f64 (*.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))))
1.5b
(/.f64 (-.f64 (*.f64 -3/2 (/.f64 (*.f64 c a) b)) (+.f64 (*.f64 9/8 (/.f64 (*.f64 (*.f64 c a) (*.f64 c a)) (pow.f64 b 3))) (+.f64 (*.f64 27/16 (/.f64 (pow.f64 (*.f64 c a) 3) (pow.f64 b 5))) (*.f64 405/128 (/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7)))))) (*.f64 3 a))
4.8b
(/.f64 (-.f64 (*.f64 -3/2 (/.f64 (*.f64 c a) b)) (+.f64 (*.f64 9/8 (log.f64 (exp.f64 (/.f64 (pow.f64 (*.f64 c a) 2) (pow.f64 b 3))))) (+.f64 (*.f64 27/16 (/.f64 (pow.f64 (*.f64 c a) 3) (pow.f64 b 5))) (*.f64 405/128 (/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7)))))) (*.f64 3 a))
5.0b
(-.f64 (-.f64 (-.f64 (*.f64 -1/2 (/.f64 c b)) (*.f64 3/8 (log.f64 (exp.f64 (/.f64 (*.f64 a (*.f64 c c)) (pow.f64 b 3)))))) (*.f64 135/128 (/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)))) (*.f64 9/16 (/.f64 (*.f64 (*.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))))
52.6b
(/.f64 (/.f64 (-.f64 (-.f64 (*.f64 b b) (*.f64 3 (*.f64 c a))) (*.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 3 (*.f64 c a)))))) (*.f64 3 a))
Compiler

Compiled 3141 to 1956 computations (37.7% saved)

localize32.0ms (0.5%)

Local error

Found 4 expressions with local error:

0.5b
(*.f64 (*.f64 c a) (*.f64 c a))
0.7b
(pow.f64 (*.f64 c a) 3)
0.9b
(pow.f64 (*.f64 c a) 4)
7.8b
(log.f64 (exp.f64 (/.f64 (pow.f64 (*.f64 c a) 4) (pow.f64 b 7))))

rewrite237.0ms (3.9%)

Algorithm
rewrite-expression-head
Error
0.2b
Rules
50×pow1_binary64
40×log-pow_binary64
39×exp-prod_binary64
35×times-frac_binary64
25×*-un-lft-identity_binary64
Counts
4 → 124
Calls

4 calls:

10.0ms
(log.f64 (exp.f64 (/.f64 (pow.f64 (*.f64 c a) 4) (pow.f64 b 7))))
5.0ms
(*.f64 (*.f64 c a) (*.f64 c a))
3.0ms
(pow.f64 (*.f64 c a) 4)
3.0ms
(pow.f64 (*.f64 c a) 3)
Compiler

Compiled 6307 to 3675 computations (41.7% saved)

series196.0ms (3.2%)

Error
0.2b
Counts
4 → 29
Calls

4 calls:

118.0ms
(log.f64 (exp.f64 (/.f64 (pow.f64 (*.f64 c a) 4) (pow.f64 b 7))))
23.0ms
(*.f64 (*.f64 c a) (*.f64 c a))
23.0ms
(pow.f64 (*.f64 c a) 4)
23.0ms
(pow.f64 (*.f64 c a) 3)
Compiler

Compiled 3324 to 2263 computations (31.9% saved)

simplify95.0ms (1.6%)

Algorithm
egg-herbie
Rules
640×times-frac_binary64
624×associate-/l*_binary64
407×log-div_binary64
355×unswap-sqr_binary64
249×associate-/r*_binary64
Counts
153 → 127
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02181690
13221581
211071527
346051527
453371527

prune126.0ms (2.1%)

Pruning

8 alts after pruning (5 fresh and 3 done)

PrunedKeptTotal
New1270127
Fresh055
Picked011
Done022
Total1278135
Error
0.2b
Counts
135 → 8
Alt Table
StatusErrorProgram
53.4b
(/.f64 (*.f64 (+.f64 (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 3 (*.f64 c a))))) (sqrt.f64 b)) (-.f64 (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 3 (*.f64 c a))))) (sqrt.f64 b))) (*.f64 3 a))
2.3b
(/.f64 (-.f64 (*.f64 -3/2 (/.f64 (*.f64 c a) b)) (+.f64 (*.f64 9/8 (/.f64 (*.f64 (*.f64 c a) (*.f64 c a)) (pow.f64 b 3))) (+.f64 (*.f64 27/16 (/.f64 (pow.f64 (*.f64 c a) 3) (pow.f64 b 5))) (*.f64 405/128 (log.f64 (exp.f64 (/.f64 (pow.f64 (*.f64 c a) 4) (pow.f64 b 7)))))))) (*.f64 3 a))
53.0b
(/.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 3 (*.f64 c a)))) b) 3) a)
1.1b
(-.f64 (-.f64 (-.f64 (*.f64 -1/2 (/.f64 c b)) (*.f64 3/8 (/.f64 (*.f64 c (*.f64 c a)) (pow.f64 b 3)))) (*.f64 135/128 (/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)))) (*.f64 9/16 (/.f64 (*.f64 (*.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))))
1.5b
(/.f64 (-.f64 (*.f64 -3/2 (/.f64 (*.f64 c a) b)) (+.f64 (*.f64 9/8 (/.f64 (*.f64 (*.f64 c a) (*.f64 c a)) (pow.f64 b 3))) (+.f64 (*.f64 27/16 (/.f64 (pow.f64 (*.f64 c a) 3) (pow.f64 b 5))) (*.f64 405/128 (/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7)))))) (*.f64 3 a))
4.8b
(/.f64 (-.f64 (*.f64 -3/2 (/.f64 (*.f64 c a) b)) (+.f64 (*.f64 9/8 (log.f64 (exp.f64 (/.f64 (pow.f64 (*.f64 c a) 2) (pow.f64 b 3))))) (+.f64 (*.f64 27/16 (/.f64 (pow.f64 (*.f64 c a) 3) (pow.f64 b 5))) (*.f64 405/128 (/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7)))))) (*.f64 3 a))
5.0b
(-.f64 (-.f64 (-.f64 (*.f64 -1/2 (/.f64 c b)) (*.f64 3/8 (log.f64 (exp.f64 (/.f64 (*.f64 a (*.f64 c c)) (pow.f64 b 3)))))) (*.f64 135/128 (/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)))) (*.f64 9/16 (/.f64 (*.f64 (*.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))))
52.6b
(/.f64 (/.f64 (-.f64 (-.f64 (*.f64 b b) (*.f64 3 (*.f64 c a))) (*.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 3 (*.f64 c a)))))) (*.f64 3 a))
Compiler

Compiled 3744 to 2215 computations (40.8% saved)

regimes596.0ms (9.8%)

Accuracy

Total 1.3b remaining (85.6%)

Threshold costs 0b (0%)

Compiler

Compiled 15677 to 10596 computations (32.4% saved)

simplify9.0ms (0.2%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
03467
16067
28067
39867
413167
515967
617667
718467
818567
918267

end1.0ms (0%)

Compiler

Compiled 48 to 35 computations (27.1% saved)

sample2.0s (32.9%)

Algorithm
intervals
Results
511.0ms3768×body256valid
311.0ms8851×pre128true
306.0ms1540×body512valid
184.0ms2692×body128valid
55.0ms851×body128nan
Compiler

Compiled 432 to 297 computations (31.3% saved)

Profiling

Loading profile data...