Details

Time bar (total: 2.5s)

analyze20.0ms (0.8%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
50%50%0.1%2
74.9%25%0.1%3
87.4%12.5%0.1%4
93.7%6.2%0.1%5
96.8%3.1%0.1%6
98.3%1.6%0.1%7
99.1%0.8%0.1%8
99.5%0.4%0.1%9
99.7%0.2%0.1%10
99.8%0.1%0.1%11
99.9%0%0.1%12
99.9%0%0.1%13
99.9%0%0.1%14
Compiler

Compiled 9 to 7 computations (22.2% saved)

sample22.0ms (0.9%)

Algorithm
1×intervals
Results
14.0ms256×body128valid
Compiler

Compiled 19 to 15 computations (21.1% saved)

simplify10.0ms (0.4%)

Algorithm
1×egg-herbie
Counts
1 → 0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
079
179

prune1.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New000
Fresh011
Picked000
Done000
Total011
Error
0.9b
Counts
1 → 1
Alt Table
StatusErrorProgram
▶0.9b
(/.f64 (atan2.f64 im re) (log.f64 10))
Compiler

Compiled 16 to 12 computations (25% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

0.9b
(/.f64 (atan2.f64 im re) (log.f64 10))

rewrite35.0ms (1.4%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
10×pow1_binary64
10×add-cube-cbrt_binary64
7×add-cbrt-cube_binary64
6×log-pow_binary64
6×add-exp-log_binary64
Counts
1 → 46
Calls

1 calls:

12.0ms
(/.f64 (atan2.f64 im re) (log.f64 10))
Compiler

Compiled 484 to 272 computations (43.8% saved)

series48.0ms (1.9%)

Error
0.9b
Counts
1 → 6
Calls

1 calls:

47.0ms
(/.f64 (atan2.f64 im re) (log.f64 10))
Compiler

Compiled 104 to 78 computations (25% saved)

simplify74.0ms (3%)

Algorithm
1×egg-herbie
Rules
570×div-exp_binary64
439×times-frac_binary64
413×fma-neg_binary64
372×fma-def_binary64
336×associate--r-_binary64
Counts
52 → 16
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
053485
188447
2313445
31439430
42237426
54133426
64915426

prune13.0ms (0.5%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New11516
Fresh000
Picked011
Done000
Total11617
Error
0.1b
Counts
17 → 6
Alt Table
StatusErrorProgram
6.4b
(cbrt.f64 (pow.f64 (/.f64 (atan2.f64 im re) (log.f64 10)) 3))
31.1b
(*.f64 (sqrt.f64 (/.f64 (atan2.f64 im re) (log.f64 10))) (sqrt.f64 (/.f64 (atan2.f64 im re) (log.f64 10))))
▶2.0b
(*.f64 (pow.f64 (cbrt.f64 (atan2.f64 im re)) 2) (/.f64 (cbrt.f64 (atan2.f64 im re)) (log.f64 10)))
11.4b
(log.f64 (+.f64 (expm1.f64 (/.f64 (atan2.f64 im re) (log.f64 10))) 1))
✓0.9b
(/.f64 (atan2.f64 im re) (log.f64 10))
4.4b
(*.f64 (cbrt.f64 (pow.f64 (/.f64 (atan2.f64 im re) (log.f64 10)) 2)) (cbrt.f64 (/.f64 (atan2.f64 im re) (log.f64 10))))
Compiler

Compiled 256 to 178 computations (30.5% saved)

localize10.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.2b
(/.f64 (cbrt.f64 (atan2.f64 im re)) (log.f64 10))
0.9b
(pow.f64 (cbrt.f64 (atan2.f64 im re)) 2)
4.2b
(cbrt.f64 (atan2.f64 im re))
4.2b
(cbrt.f64 (atan2.f64 im re))

rewrite167.0ms (6.6%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
32×add-cube-cbrt_binary64
16×pow1_binary64
15×add-sqr-sqrt_binary64
13×add-exp-log_binary64
12×log1p-expm1-u_binary64
Counts
4 → 146
Calls

4 calls:

12.0ms
(pow.f64 (cbrt.f64 (atan2.f64 im re)) 2)
12.0ms
(/.f64 (cbrt.f64 (atan2.f64 im re)) (log.f64 10))
10.0ms
(cbrt.f64 (atan2.f64 im re))
10.0ms
(cbrt.f64 (atan2.f64 im re))
Compiler

Compiled 2095 to 945 computations (54.9% saved)

series114.0ms (4.5%)

Error
0.1b
Counts
4 → 24
Calls

4 calls:

36.0ms
(/.f64 (cbrt.f64 (atan2.f64 im re)) (log.f64 10))
29.0ms
(pow.f64 (cbrt.f64 (atan2.f64 im re)) 2)
23.0ms
(cbrt.f64 (atan2.f64 im re))
23.0ms
(cbrt.f64 (atan2.f64 im re))
Compiler

Compiled 904 to 638 computations (29.4% saved)

simplify111.0ms (4.4%)

Algorithm
1×egg-herbie
Rules
951×times-frac_binary64
462×associate-*l*_binary64
435×fma-neg_binary64
403×associate-*r*_binary64
395×associate-/l*_binary64
Counts
170 → 82
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0961356
11571206
25291178
333551172
449631172
553071172

prune25.0ms (1%)

Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New80282
Fresh134
Picked011
Done011
Total81788
Error
0.1b
Counts
88 → 7
Alt Table
StatusErrorProgram
✓2.0b
(*.f64 (pow.f64 (cbrt.f64 (atan2.f64 im re)) 2) (/.f64 (cbrt.f64 (atan2.f64 im re)) (log.f64 10)))
▶2.2b
(*.f64 (pow.f64 (cbrt.f64 (atan2.f64 im re)) 2) (*.f64 (cbrt.f64 (pow.f64 (/.f64 (cbrt.f64 (atan2.f64 im re)) (log.f64 10)) 2)) (cbrt.f64 (/.f64 (cbrt.f64 (atan2.f64 im re)) (log.f64 10)))))
6.4b
(cbrt.f64 (pow.f64 (/.f64 (atan2.f64 im re) (log.f64 10)) 3))
31.1b
(*.f64 (sqrt.f64 (/.f64 (atan2.f64 im re) (log.f64 10))) (sqrt.f64 (/.f64 (atan2.f64 im re) (log.f64 10))))
4.9b
(*.f64 (cbrt.f64 (pow.f64 (atan2.f64 im re) 2)) (/.f64 (cbrt.f64 (atan2.f64 im re)) (log.f64 10)))
✓0.9b
(/.f64 (atan2.f64 im re) (log.f64 10))
4.4b
(*.f64 (cbrt.f64 (pow.f64 (/.f64 (atan2.f64 im re) (log.f64 10)) 2)) (cbrt.f64 (/.f64 (atan2.f64 im re) (log.f64 10))))
Compiler

Compiled 889 to 479 computations (46.1% saved)

localize15.0ms (0.6%)

Local error

Found 4 expressions with local error:

1.2b
(cbrt.f64 (pow.f64 (/.f64 (cbrt.f64 (atan2.f64 im re)) (log.f64 10)) 2))
4.2b
(cbrt.f64 (atan2.f64 im re))
4.2b
(cbrt.f64 (atan2.f64 im re))
4.2b
(cbrt.f64 (atan2.f64 im re))

rewrite107.0ms (4.2%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
28×add-cube-cbrt_binary64
17×pow1/3_binary64
16×add-sqr-sqrt_binary64
12×log1p-expm1-u_binary64
12×expm1-log1p-u_binary64
Counts
4 → 121
Calls

4 calls:

11.0ms
(cbrt.f64 (atan2.f64 im re))
11.0ms
(cbrt.f64 (pow.f64 (/.f64 (cbrt.f64 (atan2.f64 im re)) (log.f64 10)) 2))
10.0ms
(cbrt.f64 (atan2.f64 im re))
10.0ms
(cbrt.f64 (atan2.f64 im re))
Compiler

Compiled 2554 to 1350 computations (47.1% saved)

series141.0ms (5.6%)

Error
0.1b
Counts
4 → 24
Calls

4 calls:

65.0ms
(cbrt.f64 (pow.f64 (/.f64 (cbrt.f64 (atan2.f64 im re)) (log.f64 10)) 2))
25.0ms
(cbrt.f64 (atan2.f64 im re))
25.0ms
(cbrt.f64 (atan2.f64 im re))
23.0ms
(cbrt.f64 (atan2.f64 im re))
Compiler

Compiled 1567 to 1093 computations (30.2% saved)

simplify87.0ms (3.5%)

Algorithm
1×egg-herbie
Rules
897×log-div_binary64
656×associate-/l/_binary64
581×fma-neg_binary64
453×unswap-sqr_binary64
433×log-prod_binary64
Counts
145 → 56
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
0611199
11021145
22081133
36471109
423221105
542581105
655901105

prune25.0ms (1%)

Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New54256
Fresh044
Picked101
Done022
Total55863
Error
0.1b
Counts
63 → 8
Alt Table
StatusErrorProgram
6.4b
(cbrt.f64 (pow.f64 (/.f64 (atan2.f64 im re) (log.f64 10)) 3))
▶2.4b
(*.f64 (pow.f64 (cbrt.f64 (atan2.f64 im re)) 2) (*.f64 (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (/.f64 (cbrt.f64 (atan2.f64 im re)) (log.f64 10))) 4)) (cbrt.f64 (cbrt.f64 (pow.f64 (/.f64 (cbrt.f64 (atan2.f64 im re)) (log.f64 10)) 2)))) (cbrt.f64 (/.f64 (cbrt.f64 (atan2.f64 im re)) (log.f64 10)))))
32.0b
(*.f64 (pow.f64 (cbrt.f64 (atan2.f64 im re)) 2) (*.f64 (cbrt.f64 (pow.f64 (/.f64 (cbrt.f64 (atan2.f64 im re)) (log.f64 10)) 2)) (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 (pow.f64 (atan2.f64 im re) 2/3)) (cbrt.f64 (cbrt.f64 (atan2.f64 im re)))) (log.f64 10)))))
31.1b
(*.f64 (sqrt.f64 (/.f64 (atan2.f64 im re) (log.f64 10))) (sqrt.f64 (/.f64 (atan2.f64 im re) (log.f64 10))))
✓2.0b
(*.f64 (pow.f64 (cbrt.f64 (atan2.f64 im re)) 2) (/.f64 (cbrt.f64 (atan2.f64 im re)) (log.f64 10)))
4.9b
(*.f64 (cbrt.f64 (pow.f64 (atan2.f64 im re) 2)) (/.f64 (cbrt.f64 (atan2.f64 im re)) (log.f64 10)))
✓0.9b
(/.f64 (atan2.f64 im re) (log.f64 10))
4.4b
(*.f64 (cbrt.f64 (pow.f64 (/.f64 (atan2.f64 im re) (log.f64 10)) 2)) (cbrt.f64 (/.f64 (atan2.f64 im re) (log.f64 10))))
Compiler

Compiled 1009 to 611 computations (39.4% saved)

localize23.0ms (0.9%)

Local error

Found 4 expressions with local error:

4.2b
(cbrt.f64 (atan2.f64 im re))
4.2b
(cbrt.f64 (atan2.f64 im re))
4.2b
(cbrt.f64 (atan2.f64 im re))
4.2b
(cbrt.f64 (atan2.f64 im re))

rewrite143.0ms (5.7%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
28×add-cube-cbrt_binary64
16×add-sqr-sqrt_binary64
16×pow1/3_binary64
12×log1p-expm1-u_binary64
12×expm1-log1p-u_binary64
Counts
4 → 120
Calls

4 calls:

12.0ms
(cbrt.f64 (atan2.f64 im re))
11.0ms
(cbrt.f64 (atan2.f64 im re))
10.0ms
(cbrt.f64 (atan2.f64 im re))
10.0ms
(cbrt.f64 (atan2.f64 im re))
Compiler

Compiled 3417 to 1905 computations (44.2% saved)

series114.0ms (4.5%)

Error
0.1b
Counts
4 → 24
Calls

4 calls:

29.0ms
(cbrt.f64 (atan2.f64 im re))
27.0ms
(cbrt.f64 (atan2.f64 im re))
27.0ms
(cbrt.f64 (atan2.f64 im re))
27.0ms
(cbrt.f64 (atan2.f64 im re))
Compiler

Compiled 2178 to 1496 computations (31.3% saved)

simplify113.0ms (4.5%)

Algorithm
1×egg-herbie
Rules
826×log-prod_binary64
447×distribute-rgt-in_binary64
421×distribute-lft-in_binary64
338×unswap-sqr_binary64
330×associate-+l+_binary64
Counts
144 → 60
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
026884
136820
269804
3175804
4681804
53220804
64381804
74913804
84866804

prune33.0ms (1.3%)

Pruning

10 alts after pruning (7 fresh and 3 done)

PrunedKeptTotal
New57360
Fresh145
Picked011
Done022
Total581068
Error
0.0b
Counts
68 → 10
Alt Table
StatusErrorProgram
32.1b
(*.f64 (pow.f64 (cbrt.f64 (atan2.f64 im re)) 2) (*.f64 (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (/.f64 (cbrt.f64 (atan2.f64 im re)) (log.f64 10))) 4)) (cbrt.f64 (cbrt.f64 (pow.f64 (/.f64 (*.f64 (pow.f64 (atan2.f64 im re) 1/6) (pow.f64 (atan2.f64 im re) 1/6)) (log.f64 10)) 2)))) (cbrt.f64 (/.f64 (cbrt.f64 (atan2.f64 im re)) (log.f64 10)))))
2.0b
(*.f64 (pow.f64 (cbrt.f64 (atan2.f64 im re)) 2) (/.f64 (cbrt.f64 (atan2.f64 im re)) (log.f64 10)))
32.0b
(*.f64 (pow.f64 (cbrt.f64 (atan2.f64 im re)) 2) (*.f64 (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (/.f64 (exp.f64 (*.f64 1/3 (log.f64 (atan2.f64 im re)))) (log.f64 10))) 4)) (cbrt.f64 (cbrt.f64 (pow.f64 (/.f64 (cbrt.f64 (atan2.f64 im re)) (log.f64 10)) 2)))) (cbrt.f64 (/.f64 (cbrt.f64 (atan2.f64 im re)) (log.f64 10)))))
6.4b
(cbrt.f64 (pow.f64 (/.f64 (atan2.f64 im re) (log.f64 10)) 3))
2.4b
(*.f64 (pow.f64 (cbrt.f64 (atan2.f64 im re)) 2) (*.f64 (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (/.f64 (cbrt.f64 (atan2.f64 im re)) (log.f64 10))) 4)) (cbrt.f64 (cbrt.f64 (pow.f64 (/.f64 (cbrt.f64 (atan2.f64 im re)) (log.f64 10)) 2)))) (cbrt.f64 (/.f64 (cbrt.f64 (atan2.f64 im re)) (log.f64 10)))))
31.1b
(*.f64 (sqrt.f64 (/.f64 (atan2.f64 im re) (log.f64 10))) (sqrt.f64 (/.f64 (atan2.f64 im re) (log.f64 10))))
4.9b
(*.f64 (cbrt.f64 (pow.f64 (atan2.f64 im re) 2)) (/.f64 (cbrt.f64 (atan2.f64 im re)) (log.f64 10)))
32.0b
(*.f64 (pow.f64 (cbrt.f64 (atan2.f64 im re)) 2) (*.f64 (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (/.f64 (cbrt.f64 (atan2.f64 im re)) (log.f64 10))) 4)) (cbrt.f64 (cbrt.f64 (pow.f64 (/.f64 (*.f64 (cbrt.f64 (pow.f64 (atan2.f64 im re) 2/3)) (cbrt.f64 (cbrt.f64 (atan2.f64 im re)))) (log.f64 10)) 2)))) (cbrt.f64 (/.f64 (cbrt.f64 (atan2.f64 im re)) (log.f64 10)))))
0.9b
(/.f64 (atan2.f64 im re) (log.f64 10))
4.4b
(*.f64 (cbrt.f64 (pow.f64 (/.f64 (atan2.f64 im re) (log.f64 10)) 2)) (cbrt.f64 (/.f64 (atan2.f64 im re) (log.f64 10))))
Compiler

Compiled 1350 to 840 computations (37.8% saved)

regimes213.0ms (8.4%)

Accuracy

Total 0.7b remaining (89.4%)

Threshold costs 0.7b (89.4%)

Compiler

Compiled 4826 to 3210 computations (33.5% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0913
1913

end1.0ms (0%)

Compiler

Compiled 10 to 8 computations (20% saved)

sample848.0ms (33.6%)

Algorithm
1×intervals
Results
435.0ms8000×body128valid
Compiler

Compiled 290 to 201 computations (30.7% saved)

Profiling

Loading profile data...