Details

Time bar (total: 3.6s)

analyze157.0ms (4.4%)

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 17 to 17 computations (0% saved)

sample28.0ms (0.8%)

Algorithm
1×intervals
Results
19.0ms256×body128valid
1.0ms18×body128nan
Compiler

Compiled 33 to 35 computations (-6.1% saved)

simplify98.0ms (2.7%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
05423
15423

prune4.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112
Error
1.0b
Counts
2 → 1
Compiler

Compiled 28 to 28 computations (0% saved)

localize11.0ms (0.3%)

Local error

Found 4 expressions with local error:

1.0b
(/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)
1.0b
(+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))
1.0b
(cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))
1.0b
(*.f64 PI.f64 2/3)

rewrite26.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Rules
16×add-sqr-sqrt_binary64_3169
14×*-un-lft-identity_binary64_3147 add-cube-cbrt_binary64_3182
9×times-frac_binary64_3153
8×add-exp-log_binary64_3185 add-cbrt-cube_binary64_3183
6×pow1_binary64_3208 div-sub_binary64_3152 add-log-exp_binary64_3186
4×associate-+r-_binary64_3081
3×acos-asin_binary64_3328 distribute-frac-neg_binary64_3110 acos-neg_binary64_3330 associate-*r*_binary64_3087 associate-/r*_binary64_3091 associate-/l*_binary64_3092 associate-*l*_binary64_3088
2×cos-diff_binary64_3284
1×*-commutative_binary64_3078 cos-sum_binary64_3281 unswap-sqr_binary64_3115 clear-num_binary64_3146 flip-+_binary64_3121 pow-prod-down_binary64_3218 frac-2neg_binary64_3158 flip3-+_binary64_3150 +-commutative_binary64_3077 prod-exp_binary64_3196 cbrt-undiv_binary64_3181 cbrt-unprod_binary64_3180 div-exp_binary64_3198 div-inv_binary64_3144 sum-log_binary64_3238
Counts
4 → 70
Calls

4 calls:

7.0ms
(cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))
6.0ms
(+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))
4.0ms
(*.f64 PI.f64 2/3)
3.0ms
(/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)

series263.0ms (7.3%)

Counts
4 → 18
Calls

4 calls:

144.0ms
(cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))
71.0ms
(+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))
48.0ms
(/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)
0.0ms
(*.f64 PI.f64 2/3)
Compiler

Compiled 540 to 540 computations (0% saved)

simplify95.0ms (2.6%)

Algorithm
1×egg-herbie
Counts
88 → 88
Iterations

Useful iterations: 0 (74.0ms)

IterNodesCost
051831544

prune90.0ms (2.5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New86288
Fresh000
Picked011
Done000
Total86389
Error
0.9b
Counts
89 → 3
Compiler

Compiled 1705 to 1007 computations (40.9% saved)

localize9.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.0b
(cos.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))
0.9b
(/.f64 (acos.f64 (/.f64 g h)) 3)

rewrite9.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
10×*-un-lft-identity_binary64_3147 add-sqr-sqrt_binary64_3169 add-cube-cbrt_binary64_3182
9×times-frac_binary64_3153
4×add-exp-log_binary64_3185 add-cbrt-cube_binary64_3183
3×associate-/r*_binary64_3091 associate-/l*_binary64_3092
2×acos-asin_binary64_3328 pow1_binary64_3208 div-sub_binary64_3152 add-log-exp_binary64_3186
1×clear-num_binary64_3146 frac-2neg_binary64_3158 cos-diff_binary64_3284 cbrt-undiv_binary64_3181 div-exp_binary64_3198 div-inv_binary64_3144
Counts
2 → 36
Calls

2 calls:

4.0ms
(/.f64 (acos.f64 (/.f64 g h)) 3)
2.0ms
(cos.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))

series153.0ms (4.2%)

Counts
2 → 12
Calls

2 calls:

109.0ms
(cos.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))
44.0ms
(/.f64 (acos.f64 (/.f64 g h)) 3)
Compiler

Compiled 288 to 288 computations (0% saved)

simplify139.0ms (3.9%)

Algorithm
1×egg-herbie
Counts
48 → 48
Iterations

Useful iterations: 0 (127.0ms)

IterNodesCost
04749701
14749701

prune50.0ms (1.4%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New46248
Fresh101
Picked101
Done101
Total49251
Error
0b
Counts
51 → 2
Compiler

Compiled 839 to 555 computations (33.8% saved)

localize12.0ms (0.3%)

Local error

Found 3 expressions with local error:

0.0b
(cos.f64 (/.f64 (/.f64 (acos.f64 (/.f64 g h)) (sqrt.f64 3)) (sqrt.f64 3)))
0.0b
(/.f64 (/.f64 (acos.f64 (/.f64 g h)) (sqrt.f64 3)) (sqrt.f64 3))
0.0b
(/.f64 (acos.f64 (/.f64 g h)) (sqrt.f64 3))

rewrite59.0ms (1.6%)

Algorithm
1×rewrite-expression-head
Rules
276×times-frac_binary64_3153
155×*-un-lft-identity_binary64_3147 add-sqr-sqrt_binary64_3169 add-cube-cbrt_binary64_3182
144×sqrt-prod_binary64_3163
25×associate-/l*_binary64_3092
12×associate-/r*_binary64_3091
10×add-exp-log_binary64_3185 add-cbrt-cube_binary64_3183
9×div-inv_binary64_3144
5×div-sub_binary64_3152
4×cbrt-undiv_binary64_3181 div-exp_binary64_3198
3×acos-asin_binary64_3328 pow1_binary64_3208 add-log-exp_binary64_3186
2×clear-num_binary64_3146 frac-2neg_binary64_3158
1×associate-/l/_binary64_3094 cos-diff_binary64_3284
Counts
3 → 224
Calls

3 calls:

11.0ms
(/.f64 (/.f64 (acos.f64 (/.f64 g h)) (sqrt.f64 3)) (sqrt.f64 3))
11.0ms
(cos.f64 (/.f64 (/.f64 (acos.f64 (/.f64 g h)) (sqrt.f64 3)) (sqrt.f64 3)))
5.0ms
(/.f64 (acos.f64 (/.f64 g h)) (sqrt.f64 3))

series425.0ms (11.8%)

Counts
3 → 18
Calls

3 calls:

195.0ms
(cos.f64 (/.f64 (/.f64 (acos.f64 (/.f64 g h)) (sqrt.f64 3)) (sqrt.f64 3)))
142.0ms
(/.f64 (/.f64 (acos.f64 (/.f64 g h)) (sqrt.f64 3)) (sqrt.f64 3))
87.0ms
(/.f64 (acos.f64 (/.f64 g h)) (sqrt.f64 3))
Compiler

Compiled 552 to 552 computations (0% saved)

simplify130.0ms (3.6%)

Algorithm
1×egg-herbie
Counts
242 → 242
Iterations

Useful iterations: 0 (66.0ms)

IterNodesCost
049476209
149476209

prune319.0ms (8.8%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New2420242
Fresh011
Picked011
Done000
Total2422244
Error
0b
Counts
244 → 2
Compiler

Compiled 5969 to 4011 computations (32.8% saved)

localize9.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.0b
(cos.f64 (*.f64 (acos.f64 (/.f64 g h)) 1/3))
1.0b
(*.f64 (acos.f64 (/.f64 g h)) 1/3)

rewrite7.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
6×add-sqr-sqrt_binary64_3169
4×*-un-lft-identity_binary64_3147 add-exp-log_binary64_3185 add-cbrt-cube_binary64_3183 pow1_binary64_3208 add-cube-cbrt_binary64_3182
3×associate-*r*_binary64_3087 associate-*l*_binary64_3088
2×add-log-exp_binary64_3186
1×*-commutative_binary64_3078 unswap-sqr_binary64_3115 pow-prod-down_binary64_3218 prod-exp_binary64_3196 cbrt-unprod_binary64_3180
Counts
2 → 25
Calls

2 calls:

4.0ms
(*.f64 (acos.f64 (/.f64 g h)) 1/3)
2.0ms
(cos.f64 (*.f64 (acos.f64 (/.f64 g h)) 1/3))

series151.0ms (4.2%)

Counts
2 → 12
Calls

2 calls:

112.0ms
(cos.f64 (*.f64 (acos.f64 (/.f64 g h)) 1/3))
40.0ms
(*.f64 (acos.f64 (/.f64 g h)) 1/3)
Compiler

Compiled 288 to 288 computations (0% saved)

simplify53.0ms (1.5%)

Algorithm
1×egg-herbie
Counts
37 → 37
Iterations

Useful iterations: 0 (43.0ms)

IterNodesCost
04776439
14776439

prune31.0ms (0.9%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New37037
Fresh000
Picked011
Done011
Total37239
Error
0b
Counts
39 → 2
Compiler

Compiled 571 to 382 computations (33.1% saved)

regimes212.0ms (5.9%)

Accuracy

Total 0.0b remaining (98.8%)

Threshold costs 0.0b (98.8%)

Compiler

Compiled 1737 to 1745 computations (-0.5% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
04131
14131

end0.0ms (0%)

sample1.1s (29.6%)

Algorithm
1×intervals
Results
616.0ms8000×body128valid
35.0ms566×body128nan
Compiler

Compiled 187 to 189 computations (-1.1% saved)

Profiling

Loading profile data...