Details

Time bar (total: 4.4s)

analyze351.0ms (8%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
50%50%0.1%5
50%50%0.1%6
50%37.5%12.6%7
50%37.5%12.6%8
50%31.2%18.8%9
50%31.2%18.8%10
50%28.1%22%11
50%28.1%22%12
50%26.5%23.5%13
50%26.5%23.5%14
Compiler

Compiled 12 to 11 computations (8.3% saved)

sample81.0ms (1.8%)

Algorithm
1×intervals
Results
24.0ms58×body1024valid
20.0ms75×body1024invalid
9.0ms153×body128valid
7.0ms33×body512valid
5.0ms28×body512invalid
2.0ms21×body256invalid
1.0ms12×body256valid
1.0ms21×body128invalid
Compiler

Compiled 23 to 23 computations (0% saved)

simplify265.0ms (6%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (101.0ms)

IterNodesCost
0488118
1488118

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 1
Compiler

Compiled 22 to 20 computations (9.1% saved)

localize9.0ms (0.2%)

Local error

Found 1 expressions with local error:

0.0b
(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

rewrite7.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
3×*-un-lft-identity_binary64_423 add-log-exp_binary64_462
1×flip-+_binary64_397 add-cube-cbrt_binary64_458 +-commutative_binary64_353 distribute-lft-out_binary64_374 add-sqr-sqrt_binary64_445 pow1_binary64_484 flip3-+_binary64_426 add-exp-log_binary64_461 add-cbrt-cube_binary64_459 sum-log_binary64_514
Counts
1 → 12
Calls

1 calls:

6.0ms
(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

series28.0ms (0.6%)

Counts
1 → 3
Calls

1 calls:

28.0ms
(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

simplify72.0ms (1.6%)

Algorithm
1×egg-herbie
Counts
15 → 15
Iterations

Useful iterations: 0 (65.0ms)

IterNodesCost
05142212

prune28.0ms (0.6%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New13215
Fresh000
Picked011
Done000
Total13316

Merged error: 0b

Counts
16 → 3
Compiler

Compiled 426 to 253 computations (40.6% saved)

localize17.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.0b
(pow.f64 (exp.f64 im) 2)
0.0b
(pow.f64 (exp.f64 im) -3)
0.0b
(pow.f64 (exp.f64 im) 3)
6.2b
(+.f64 (pow.f64 (exp.f64 im) 2) -1)

rewrite26.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
16×*-un-lft-identity_binary64_423 add-sqr-sqrt_binary64_445
14×add-cube-cbrt_binary64_458
12×pow-pow_binary64_495
10×unpow-prod-down_binary64_502
9×pow-unpow_binary64_500 exp-prod_binary64_475
7×pow1_binary64_484
6×add-log-exp_binary64_462
5×add-cbrt-cube_binary64_459
4×add-exp-log_binary64_461 difference-of-sqr--1_binary64_394 sqr-pow_binary64_395
3×pow-to-exp_binary64_492 pow-exp_binary64_491 cube-prod_binary64_451
2×unpow2_binary64_488
1×flip-+_binary64_397 unpow3_binary64_489 +-commutative_binary64_353 distribute-lft-out_binary64_374 flip3-+_binary64_426 cube-mult_binary64_453 rem-cube-cbrt_binary64_446 sum-log_binary64_514
Counts
4 → 83
Calls

4 calls:

7.0ms
(+.f64 (pow.f64 (exp.f64 im) 2) -1)
4.0ms
(pow.f64 (exp.f64 im) 2)
4.0ms
(pow.f64 (exp.f64 im) -3)
4.0ms
(pow.f64 (exp.f64 im) 3)

series172.0ms (3.9%)

Counts
4 → 12
Calls

4 calls:

81.0ms
(pow.f64 (exp.f64 im) -3)
41.0ms
(pow.f64 (exp.f64 im) 3)
30.0ms
(+.f64 (pow.f64 (exp.f64 im) 2) -1)
19.0ms
(pow.f64 (exp.f64 im) 2)

simplify68.0ms (1.5%)

Algorithm
1×egg-herbie
Counts
95 → 95
Iterations

Useful iterations: 0 (53.0ms)

IterNodesCost
04886788
14886788

prune134.0ms (3.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New95095
Fresh011
Picked011
Done011
Total95398

Merged error: 0b

Counts
98 → 3
Compiler

Compiled 2789 to 1739 computations (37.6% saved)

localize14.0ms (0.3%)

Local error

Found 3 expressions with local error:

0.0b
(+.f64 (*.f64 im im) (+.f64 2 (*.f64 1/12 (pow.f64 im 4))))
0.0b
(*.f64 (*.f64 1/2 (cos.f64 re)) (+.f64 (*.f64 im im) (+.f64 2 (*.f64 1/12 (pow.f64 im 4)))))
0.1b
(*.f64 1/12 (pow.f64 im 4))

rewrite30.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Rules
13×add-exp-log_binary64_461
12×add-sqr-sqrt_binary64_445
10×associate-*r*_binary64_363 add-cbrt-cube_binary64_459
8×pow1_binary64_484 add-log-exp_binary64_462
7×*-un-lft-identity_binary64_423 add-cube-cbrt_binary64_458
6×prod-exp_binary64_472
4×associate-*l*_binary64_364 unpow-prod-down_binary64_502 cbrt-unprod_binary64_456
3×pow-prod-down_binary64_494 unswap-sqr_binary64_391 sum-log_binary64_514
2×flip-+_binary64_397 associate-*r/_binary64_365 *-commutative_binary64_354 flip3-+_binary64_426 sqr-pow_binary64_395
1×distribute-rgt-in_binary64_373 distribute-lft-in_binary64_372 associate-+r+_binary64_355 pow-to-exp_binary64_492 +-commutative_binary64_353 pow-exp_binary64_491
Counts
3 → 60
Calls

3 calls:

11.0ms
(*.f64 (*.f64 1/2 (cos.f64 re)) (+.f64 (*.f64 im im) (+.f64 2 (*.f64 1/12 (pow.f64 im 4)))))
7.0ms
(+.f64 (*.f64 im im) (+.f64 2 (*.f64 1/12 (pow.f64 im 4))))
6.0ms
(*.f64 1/12 (pow.f64 im 4))

series281.0ms (6.4%)

Counts
3 → 9
Calls

3 calls:

200.0ms
(*.f64 (*.f64 1/2 (cos.f64 re)) (+.f64 (*.f64 im im) (+.f64 2 (*.f64 1/12 (pow.f64 im 4)))))
44.0ms
(*.f64 1/12 (pow.f64 im 4))
37.0ms
(+.f64 (*.f64 im im) (+.f64 2 (*.f64 1/12 (pow.f64 im 4))))

simplify37.0ms (0.8%)

Algorithm
1×egg-herbie
Counts
69 → 69
Iterations

Useful iterations: 0 (21.0ms)

IterNodesCost
049611255
149611255

prune82.0ms (1.9%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New69069
Fresh000
Picked011
Done022
Total69372

Merged error: 0b

Counts
72 → 3
Compiler

Compiled 1571 to 1054 computations (32.9% saved)

regimes64.0ms (1.5%)

Compiler

Compiled 368 to 320 computations (13% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02118
12118

end0.0ms (0%)

sample2.6s (59.7%)

Algorithm
1×intervals
Results
838.0ms1994×body1024valid
570.0ms2065×body1024invalid
269.0ms4534×body128valid
199.0ms972×body512valid
178.0ms1009×body512invalid
64.0ms493×body256valid
62.0ms522×body256invalid
52.0ms777×body128invalid
6.0ms7×body2048valid
Compiler

Compiled 76 to 67 computations (11.8% saved)

Profiling

Loading profile data...