Details

Time bar (total: 2.7s)

analyze223.0ms (8.2%)

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
25%68.7%6.3%5
25%65.6%9.5%6
37.5%39%23.5%7
37.5%36.7%25.9%8
43.7%20.7%35.6%9
43.7%19.3%37%10
46.8%10.6%42.5%11
46.8%9.9%43.3%12
48.4%5.4%46.2%13
48.4%5%46.6%14
Compiler

Compiled 19 to 17 computations (10.5% saved)

sample1.7s (63.5%)

Results
1.6s8256×body128valid
96.0ms604×body128invalid
Compiler

Compiled 56 to 50 computations (10.7% saved)

simplify8.0ms (0.3%)

Algorithm
1×egg-herbie
Rules
16×fma-def_binary64
7×sub-neg_binary64
6×*-commutative_binary64
5×+-commutative_binary64
5×div-sub_binary64
Counts
1 → 2
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01526
12623
24021
34921
45621
56321
67421
77321
86221

prune4.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New112
Fresh101
Picked000
Done000
Total213
Error
1.0b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶1.0b
(*.f64 2 (cos.f64 (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))
Compiler

Compiled 61 to 49 computations (19.7% saved)

localize9.0ms (0.3%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))
✓1.0b
(/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)
✓1.0b
(cos.f64 (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))

series34.0ms (1.3%)

Counts
3 → 72
Calls

3 calls:

21.0ms
(cos.f64 (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))
8.0ms
(fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))
6.0ms
(/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)

rewrite6.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
11×*-un-lft-identity_binary64
11×add-sqr-sqrt_binary64
11×add-cube-cbrt_binary64
9×times-frac_binary64
5×add-cbrt-cube_binary64
Counts
3 → 51
Calls

3 calls:

2.0ms
(/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)
2.0ms
(cos.f64 (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))
0.0ms
(fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))

simplify124.0ms (4.5%)

Algorithm
1×egg-herbie
Rules
516×distribute-rgt-in_binary64
515×fma-neg_binary64
508×associate-/l/_binary64
495×distribute-lft-in_binary64
420×distribute-rgt-out_binary64
Counts
123 → 97
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01052186
11502070
22462070
34112070
48742070
521992070
646842070
751092070

prune72.0ms (2.6%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New96197
Fresh000
Picked011
Done000
Total96298
Error
1.0b
Counts
98 → 2
Alt Table
StatusErrorProgram
✓1.0b
(*.f64 2 (cos.f64 (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))
▶1.0b
(*.f64 2 (log1p.f64 (expm1.f64 (cos.f64 (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))))
Compiler

Compiled 2034 to 1140 computations (44% saved)

localize13.0ms (0.5%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓1.0b
(expm1.f64 (cos.f64 (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))
1.0b
(/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)
1.0b
(cos.f64 (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))
✓1.0b
(log1p.f64 (expm1.f64 (cos.f64 (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))))

series50.0ms (1.8%)

Counts
2 → 48
Calls

2 calls:

27.0ms
(expm1.f64 (cos.f64 (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))
23.0ms
(log1p.f64 (expm1.f64 (cos.f64 (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))))

rewrite2.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
3×log1p-expm1-u_binary64
2×*-un-lft-identity_binary64
2×add-sqr-sqrt_binary64
2×add-cube-cbrt_binary64
2×add-cbrt-cube_binary64
Counts
2 → 22
Calls

2 calls:

0.0ms
(expm1.f64 (cos.f64 (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))
0.0ms
(log1p.f64 (expm1.f64 (cos.f64 (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))))

simplify250.0ms (9.1%)

Algorithm
1×egg-herbie
Rules
1392×sqr-pow_binary64
724×unswap-sqr_binary64
592×cube-prod_binary64
500×fabs-mul_binary64
470×pow-sqr_binary64
Counts
70 → 42
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0451455
1591377
2741377
3871377
41001377
51221377
61701377
72701377
86141377
912101377
1013491377
1116121377
1219171377
1322111377
1426131377
1529671377
1631501377
1734071377
1835461377
1936251377
2037051377
2144631377
2248551377

prune91.0ms (3.3%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1190119
Fresh000
Picked011
Done011
Total1192121
Error
1.0b
Counts
121 → 2
Alt Table
StatusErrorProgram
✓1.0b
(*.f64 2 (cos.f64 (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))
✓1.0b
(*.f64 2 (log1p.f64 (expm1.f64 (cos.f64 (fma.f64 (PI.f64) 2/3 (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))))))
Compiler

Compiled 2685 to 1615 computations (39.9% saved)

regimes54.0ms (2%)

Accuracy

Total 0.0b remaining (0.8%)

Threshold costs 0.0b (0.8%)

Counts
3 → 1
Compiler

Compiled 612 to 528 computations (13.7% saved)

simplify2.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01421
12121
22521
32821
42921
52921

end58.0ms (2.1%)

Compiler

Compiled 62 to 54 computations (12.9% saved)

Profiling

Loading profile data...