Details

Time bar (total: 2.6s)

analyze1.0ms (0%)

Algorithm
search
Search
TrueOtherFalseIter
0%0%100%0
0%0%100%1
Compiler

Compiled 17 to 12 computations (29.4% saved)

sample1.2s (44.8%)

Results
1.1s8256×body128valid
Compiler

Compiled 44 to 31 computations (29.5% saved)

simplify37.0ms (1.4%)

Algorithm
egg-herbie
Rules
535×associate-/l/_binary64
328×unswap-sqr_binary64
297×associate-/r/_binary64
247×associate-/l*_binary64
218×sqr-pow_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0814
11414
22514
34814
410814
528114
682214
7147914
8378614
9410314
10464314
Stop Event
node limit
Counts
1 → 2

prune4.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
2.6b
Counts
3 → 2
Alt Table
StatusErrorProgram
3.4b
(*.f64 (cos.f64 x) (exp.f64 (*.f64 10 (*.f64 x x))))
3.2b
(*.f64 (cos.f64 x) (pow.f64 (exp.f64 (*.f64 x 10)) x))
Compiler

Compiled 59 to 40 computations (32.2% saved)

localize8.0ms (0.3%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.0b
(cos.f64 x)
0.3b
(*.f64 (cos.f64 x) (pow.f64 (exp.f64 (*.f64 x 10)) x))
0.4b
(pow.f64 (exp.f64 (*.f64 x 10)) x)
2.6b
(exp.f64 (*.f64 x 10))

series9.0ms (0.4%)

Counts
4 → 40
Calls

4 calls:

4.0ms
(*.f64 (cos.f64 x) (pow.f64 (exp.f64 (*.f64 x 10)) x))
2.0ms
(pow.f64 (exp.f64 (*.f64 x 10)) x)
1.0ms
(exp.f64 (*.f64 x 10))
1.0ms
(cos.f64 x)

rewrite45.0ms (1.7%)

Algorithm
batch-egg-rewrite
Rules
687×log1p-expm1-u_binary64
687×expm1-log1p-u_binary64
141×log-pow_binary64
141×expm1-udef_binary64
141×log1p-udef_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0832
116332
2191532
Stop Event
node limit
Counts
4 → 72
Calls

4 calls:

41.0ms
(cos.f64 x)
41.0ms
(*.f64 (cos.f64 x) (pow.f64 (exp.f64 (*.f64 x 10)) x))
41.0ms
(pow.f64 (exp.f64 (*.f64 x 10)) x)
40.0ms
(exp.f64 (*.f64 x 10))

simplify31.0ms (1.2%)

Algorithm
egg-herbie
Rules
718×fma-neg_binary64
665×cancel-sign-sub-inv_binary64
310×distribute-rgt-neg-in_binary64
226×unswap-sqr_binary64
225×fma-def_binary64
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
057431
1148421
2381410
31278409
43052407
Stop Event
node limit
Counts
112 → 102

prune79.0ms (3%)

Pruning

23 alts after pruning (22 fresh and 1 done)

PrunedKeptTotal
New8022102
Fresh101
Picked011
Done000
Total8123104
Error
0.6b
Counts
104 → 23
Alt Table
StatusErrorProgram
2.3b
(*.f64 (cos.f64 x) (*.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 x 10))) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) 20) x))))
3.1b
(*.f64 (cos.f64 x) (pow.f64 (exp.f64 10) (*.f64 x x)))
3.4b
(*.f64 (cos.f64 x) (*.f64 (pow.f64 (exp.f64 x) (*.f64 x 10)) 1))
1.3b
(*.f64 (cos.f64 x) (pow.f64 (pow.f64 (exp.f64 10) x) x))
3.2b
(*.f64 (cbrt.f64 (pow.f64 (cos.f64 x) 3)) (pow.f64 (exp.f64 (*.f64 x 10)) x))
4.3b
(*.f64 (cos.f64 x) (pow.f64 (pow.f64 (exp.f64 (sqrt.f64 (*.f64 x 10))) (sqrt.f64 (*.f64 x 10))) x))
3.3b
(*.f64 (+.f64 (*.f64 (cos.f64 (exp.f64 (log1p.f64 x))) (cos.f64 1)) (*.f64 (sin.f64 (exp.f64 (log1p.f64 x))) (sin.f64 1))) (pow.f64 (exp.f64 (*.f64 x 10)) x))
2.5b
(*.f64 (cos.f64 x) (pow.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 x) 10)) 3) x))
3.3b
(pow.f64 (cbrt.f64 (*.f64 (pow.f64 (exp.f64 x) (*.f64 x 10)) (cos.f64 x))) 3)
2.2b
(*.f64 (cos.f64 x) (pow.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 x) 10)) (cbrt.f64 (pow.f64 (exp.f64 x) 20))) x))
2.1b
(*.f64 (cos.f64 x) (*.f64 (pow.f64 (pow.f64 (exp.f64 x) 5) x) (pow.f64 (pow.f64 (exp.f64 x) 5) x)))
3.2b
(*.f64 (cos.f64 x) (pow.f64 (exp.f64 (*.f64 x 10)) x))
2.2b
(*.f64 (cos.f64 x) (*.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 x) 20)) x) (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 x) 10)) x)))
3.3b
(*.f64 (cos.f64 x) (pow.f64 (-.f64 (exp.f64 (log1p.f64 (pow.f64 (exp.f64 x) 10))) 1) x))
3.4b
(*.f64 (cos.f64 x) (*.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (*.f64 x 10))) (sqrt.f64 (pow.f64 (exp.f64 x) (*.f64 x 10)))))
3.2b
(*.f64 (log.f64 (exp.f64 (cos.f64 x))) (pow.f64 (exp.f64 (*.f64 x 10)) x))
3.3b
(*.f64 (*.f64 (cbrt.f64 (cos.f64 x)) (pow.f64 (cbrt.f64 (cos.f64 x)) 2)) (pow.f64 (exp.f64 (*.f64 x 10)) x))
2.1b
(*.f64 (cos.f64 x) (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 x) 20)) x))
4.6b
(*.f64 (cos.f64 x) (pow.f64 (pow.f64 (exp.f64 (cbrt.f64 (*.f64 (*.f64 x x) 100))) (cbrt.f64 (*.f64 x 10))) x))
3.6b
(*.f64 (cos.f64 x) (pow.f64 (pow.f64 (exp.f64 1) (*.f64 x 10)) x))
2.1b
(*.f64 (cos.f64 x) (pow.f64 (pow.f64 (pow.f64 (exp.f64 x) 5) 2) x))
3.6b
(*.f64 (cos.f64 x) (exp.f64 (*.f64 x (*.f64 x 10))))
2.1b
(*.f64 (cos.f64 x) (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 x) 20) x)))
Compiler

Compiled 1968 to 1282 computations (34.9% saved)

localize11.0ms (0.4%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.0b
(cos.f64 x)
0.3b
(*.f64 (cos.f64 x) (pow.f64 (pow.f64 (exp.f64 10) x) x))
0.4b
(pow.f64 (pow.f64 (exp.f64 10) x) x)
1.0b
(pow.f64 (exp.f64 10) x)

series12.0ms (0.5%)

Counts
3 → 36
Calls

3 calls:

6.0ms
(*.f64 (cos.f64 x) (pow.f64 (pow.f64 (exp.f64 10) x) x))
3.0ms
(pow.f64 (pow.f64 (exp.f64 10) x) x)
2.0ms
(pow.f64 (exp.f64 10) x)

rewrite40.0ms (1.6%)

Algorithm
batch-egg-rewrite
Rules
694×log1p-expm1-u_binary64
694×expm1-log1p-u_binary64
141×expm1-udef_binary64
141×log1p-udef_binary64
81×add-sqr-sqrt_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0829
116629
2196229
Stop Event
node limit
Counts
3 → 53
Calls

3 calls:

39.0ms
(*.f64 (cos.f64 x) (pow.f64 (pow.f64 (exp.f64 10) x) x))
39.0ms
(pow.f64 (pow.f64 (exp.f64 10) x) x)
39.0ms
(pow.f64 (exp.f64 10) x)

simplify32.0ms (1.2%)

Algorithm
egg-herbie
Rules
873×fma-def_binary64
573×associate-*l*_binary64
487×unswap-sqr_binary64
385×associate-*r*_binary64
139×associate-+l+_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
050379
1125369
2296362
3924355
43924355
Stop Event
node limit
Counts
89 → 77

prune83.0ms (3.2%)

Pruning

19 alts after pruning (19 fresh and 0 done)

PrunedKeptTotal
New8913102
Fresh15621
Picked101
Done101
Total10619125
Error
0.1b
Counts
125 → 19
Alt Table
StatusErrorProgram
1.9b
(*.f64 (+.f64 (*.f64 (cos.f64 (exp.f64 (log1p.f64 x))) (cos.f64 1)) (*.f64 (sin.f64 (exp.f64 (log1p.f64 x))) (sin.f64 1))) (pow.f64 (pow.f64 (exp.f64 10) x) x))
3.2b
(*.f64 (cbrt.f64 (pow.f64 (cos.f64 x) 3)) (pow.f64 (exp.f64 (*.f64 x 10)) x))
1.3b
(*.f64 (pow.f64 (cbrt.f64 (cos.f64 x)) 3) (pow.f64 (pow.f64 (exp.f64 10) x) x))
1.9b
(*.f64 (cos.f64 x) (*.f64 (cbrt.f64 (pow.f64 (exp.f64 10) (*.f64 x x))) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x))))
3.3b
(*.f64 (*.f64 (cbrt.f64 (cos.f64 x)) (pow.f64 (cbrt.f64 (cos.f64 x)) 2)) (pow.f64 (exp.f64 (*.f64 x 10)) x))
3.1b
(pow.f64 (cbrt.f64 (*.f64 (pow.f64 (exp.f64 10) (*.f64 x x)) (cos.f64 x))) 3)
1.4b
(*.f64 (cos.f64 x) (pow.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 10) x)) (cbrt.f64 (pow.f64 (exp.f64 20) x))) x))
0.4b
(*.f64 (cos.f64 x) (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x)))
2.1b
(*.f64 (cos.f64 x) (*.f64 (pow.f64 (pow.f64 (exp.f64 x) 5) x) (pow.f64 (pow.f64 (exp.f64 x) 5) x)))
2.3b
(*.f64 (cos.f64 x) (*.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 x 10))) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) 20) x))))
3.2b
(*.f64 (log.f64 (exp.f64 (cos.f64 x))) (pow.f64 (exp.f64 (*.f64 x 10)) x))
1.3b
(*.f64 (*.f64 (pow.f64 (cbrt.f64 (cos.f64 x)) 2) (cbrt.f64 (cos.f64 x))) (pow.f64 (pow.f64 (exp.f64 10) x) x))
1.2b
(*.f64 (log.f64 (exp.f64 (cos.f64 x))) (pow.f64 (pow.f64 (exp.f64 10) x) x))
1.2b
(*.f64 (cbrt.f64 (pow.f64 (cos.f64 x) 3)) (pow.f64 (pow.f64 (exp.f64 10) x) x))
0.5b
(*.f64 (cos.f64 x) (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x))
3.1b
(cbrt.f64 (*.f64 (pow.f64 (pow.f64 (exp.f64 10) (*.f64 x x)) 3) (pow.f64 (cos.f64 x) 3)))
3.3b
(pow.f64 (cbrt.f64 (*.f64 (pow.f64 (exp.f64 x) (*.f64 x 10)) (cos.f64 x))) 3)
1.3b
(*.f64 (cos.f64 x) (*.f64 (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 10) x)) x) (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 10) x)) x)))
1.4b
(*.f64 (cos.f64 x) (*.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 20) x)) x) (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 10) x)) x)))
Compiler

Compiled 1930 to 1282 computations (33.6% saved)

localize10.0ms (0.4%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.0b
(cos.f64 x)
0.1b
(sqrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x))
0.3b
(*.f64 (cos.f64 x) (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x)))
0.4b
(pow.f64 (pow.f64 (exp.f64 20) x) x)

series21.0ms (0.8%)

Counts
3 → 36
Calls

3 calls:

9.0ms
(*.f64 (cos.f64 x) (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x)))
6.0ms
(sqrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x))
5.0ms
(pow.f64 (pow.f64 (exp.f64 20) x) x)

rewrite46.0ms (1.8%)

Algorithm
batch-egg-rewrite
Rules
764×log1p-expm1-u_binary64
764×expm1-log1p-u_binary64
154×log1p-udef_binary64
88×add-sqr-sqrt_binary64
83×add-log-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0936
118536
2216236
Stop Event
node limit
Counts
3 → 72
Calls

3 calls:

45.0ms
(sqrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x))
45.0ms
(*.f64 (cos.f64 x) (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x)))
45.0ms
(pow.f64 (pow.f64 (exp.f64 20) x) x)

simplify36.0ms (1.4%)

Algorithm
egg-herbie
Rules
579×fma-def_binary64
437×associate-*l*_binary64
432×distribute-lft-out_binary64
411×distribute-rgt-out_binary64
342×associate-*r*_binary64
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
050444
1120432
2285426
3813426
43021394
Stop Event
node limit
Counts
108 → 97

prune82.0ms (3.2%)

Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New1157122
Fresh13518
Picked101
Done000
Total12912141
Error
0.0b
Counts
141 → 12
Alt Table
StatusErrorProgram
1.3b
(*.f64 (*.f64 (pow.f64 (cbrt.f64 (cos.f64 x)) 2) (cbrt.f64 (cos.f64 x))) (pow.f64 (pow.f64 (exp.f64 10) x) x))
0.6b
(*.f64 (-.f64 (exp.f64 (log1p.f64 (cos.f64 x))) 1) (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x)))
0.4b
(*.f64 (cos.f64 x) (sqrt.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 40) x) x))))
0.7b
(*.f64 (log.f64 (exp.f64 (cos.f64 x))) (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x)))
1.0b
(*.f64 (cos.f64 x) (sqrt.f64 (*.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 40) x)) x) (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 20) x)) x))))
3.3b
(pow.f64 (cbrt.f64 (*.f64 (pow.f64 (exp.f64 x) (*.f64 x 10)) (cos.f64 x))) 3)
3.1b
(pow.f64 (cbrt.f64 (*.f64 (pow.f64 (exp.f64 10) (*.f64 x x)) (cos.f64 x))) 3)
0.6b
(*.f64 (cbrt.f64 (pow.f64 (cos.f64 x) 3)) (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x)))
0.6b
(*.f64 (cos.f64 x) (*.f64 (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) (*.f64 x 1/2)) (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) (*.f64 x 1/2))))
1.2b
(*.f64 (log.f64 (exp.f64 (cos.f64 x))) (pow.f64 (pow.f64 (exp.f64 10) x) x))
1.4b
(*.f64 (*.f64 (pow.f64 (cbrt.f64 (cos.f64 x)) 2) (cbrt.f64 (cos.f64 x))) (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x)))
0.5b
(*.f64 (cos.f64 x) (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x))
Compiler

Compiled 2140 to 1416 computations (33.8% saved)

localize13.0ms (0.5%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.1b
(sqrt.f64 (pow.f64 (pow.f64 (exp.f64 40) x) x))
0.3b
(*.f64 (cos.f64 x) (sqrt.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 40) x) x))))
0.5b
(pow.f64 (pow.f64 (exp.f64 40) x) x)
0.8b
(pow.f64 (exp.f64 40) x)

series266.0ms (10.3%)

Counts
4 → 48
Calls

4 calls:

249.0ms
(*.f64 (cos.f64 x) (sqrt.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 40) x) x))))
12.0ms
(sqrt.f64 (pow.f64 (pow.f64 (exp.f64 40) x) x))
4.0ms
(pow.f64 (pow.f64 (exp.f64 40) x) x)
2.0ms
(pow.f64 (exp.f64 40) x)

rewrite62.0ms (2.4%)

Algorithm
batch-egg-rewrite
Rules
822×log1p-expm1-u_binary64
822×expm1-log1p-u_binary64
95×add-sqr-sqrt_binary64
93×egg-rr
90×add-log-exp_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01044
120443
2235343
Stop Event
node limit
Counts
4 → 93
Calls

4 calls:

58.0ms
(sqrt.f64 (pow.f64 (pow.f64 (exp.f64 40) x) x))
58.0ms
(*.f64 (cos.f64 x) (sqrt.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 40) x) x))))
58.0ms
(pow.f64 (pow.f64 (exp.f64 40) x) x)
58.0ms
(pow.f64 (exp.f64 40) x)

simplify35.0ms (1.4%)

Algorithm
egg-herbie
Rules
512×distribute-lft-out_binary64
476×associate-+l+_binary64
244×unswap-sqr_binary64
236×fma-def_binary64
222×distribute-rgt-out_binary64
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
065575
1161529
2398496
31259495
42561479
Stop Event
node limit
Counts
141 → 125

prune75.0ms (2.9%)

Pruning

12 alts after pruning (11 fresh and 1 done)

PrunedKeptTotal
New1241125
Fresh11011
Picked011
Done000
Total12512137
Error
0.0b
Counts
137 → 12
Alt Table
StatusErrorProgram
1.3b
(*.f64 (*.f64 (pow.f64 (cbrt.f64 (cos.f64 x)) 2) (cbrt.f64 (cos.f64 x))) (pow.f64 (pow.f64 (exp.f64 10) x) x))
0.6b
(*.f64 (-.f64 (exp.f64 (log1p.f64 (cos.f64 x))) 1) (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x)))
0.4b
(*.f64 (cos.f64 x) (sqrt.f64 (sqrt.f64 (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 80) x)) x))))
1.4b
(*.f64 (*.f64 (pow.f64 (cbrt.f64 (cos.f64 x)) 2) (cbrt.f64 (cos.f64 x))) (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x)))
0.4b
(*.f64 (cos.f64 x) (sqrt.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 40) x) x))))
0.7b
(*.f64 (log.f64 (exp.f64 (cos.f64 x))) (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x)))
3.1b
(pow.f64 (cbrt.f64 (*.f64 (pow.f64 (exp.f64 10) (*.f64 x x)) (cos.f64 x))) 3)
0.6b
(*.f64 (cbrt.f64 (pow.f64 (cos.f64 x) 3)) (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x)))
0.6b
(*.f64 (cos.f64 x) (*.f64 (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) (*.f64 x 1/2)) (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) (*.f64 x 1/2))))
1.2b
(*.f64 (log.f64 (exp.f64 (cos.f64 x))) (pow.f64 (pow.f64 (exp.f64 10) x) x))
0.5b
(*.f64 (cos.f64 x) (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x))
3.3b
(pow.f64 (cbrt.f64 (*.f64 (pow.f64 (exp.f64 x) (*.f64 x 10)) (cos.f64 x))) 3)
Compiler

Compiled 2134 to 1428 computations (33.1% saved)

regimes205.0ms (7.9%)

Accuracy

Total 0.3b remaining (84.5%)

Threshold costs 0.3b (84.5%)

Counts
101 → 1
Compiler

Compiled 2902 to 2164 computations (25.4% saved)

simplify2.0ms (0.1%)

Algorithm
egg-herbie
Rules
*-commutative_binary64
*-rgt-identity_binary64
1-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01217
11817
Stop Event
saturated

end182.0ms (7%)

Compiler

Compiled 198 to 148 computations (25.3% saved)

Profiling

Loading profile data...