Details

Time bar (total: 13.2s)

analyze6.0ms (0%)

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

Compiled 22 to 16 computations (27.3% saved)

sample32.0ms (0.2%)

Algorithm
1×intervals
Results
16.0ms256×body128valid
8.0ms256×pre128true
Compiler

Compiled 37 to 29 computations (21.6% saved)

simplify698.0ms (5.3%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (536.0ms)

IterNodesCost
0471022
1471022

prune4.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 62.0b

Counts
2 → 1
Compiler

Compiled 30 to 22 computations (26.7% saved)

localize35.0ms (0.3%)

Local error

Found 1 expressions with local error:

62.0b
(-.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 (*.f64 y y) (-.f64 (*.f64 y y) 2)))

rewrite36.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
8×associate--r+_binary64_1037
7×cancel-sign-sub-inv_binary64_1067
4×distribute-lft-in_binary64_1050 distribute-rgt-in_binary64_1051
3×add-sqr-sqrt_binary64_1123 *-un-lft-identity_binary64_1101 add-log-exp_binary64_1140 sub-neg_binary64_1094 add-cube-cbrt_binary64_1136
1×diff-log_binary64_1193 add-exp-log_binary64_1139 pow1_binary64_1162 flip--_binary64_1076 flip3--_binary64_1105 add-cbrt-cube_binary64_1137
Counts
1 → 20
Calls

1 calls:

26.0ms
(-.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 (*.f64 y y) (-.f64 (*.f64 y y) 2)))

series231.0ms (1.7%)

Counts
1 → 3
Calls

1 calls:

231.0ms
(-.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 (*.f64 y y) (-.f64 (*.f64 y y) 2)))

simplify302.0ms (2.3%)

Algorithm
1×egg-herbie
Counts
23 → 23
Iterations

Useful iterations: 0 (249.0ms)

IterNodesCost
04956542
14956542

prune183.0ms (1.4%)

Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New14923
Fresh000
Picked011
Done000
Total141024

Merged error: 52.0b

Counts
24 → 10
Compiler

Compiled 768 to 518 computations (32.6% saved)

localize73.0ms (0.6%)

Local error

Found 1 expressions with local error:

23.0b
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))

rewrite44.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
7×cancel-sign-sub-inv_binary64_1067
3×add-sqr-sqrt_binary64_1123 unpow-prod-down_binary64_1180 *-un-lft-identity_binary64_1101 add-log-exp_binary64_1140 add-cube-cbrt_binary64_1136
1×diff-log_binary64_1193 add-exp-log_binary64_1139 pow1_binary64_1162 sub-neg_binary64_1094 flip--_binary64_1076 flip3--_binary64_1105 add-cbrt-cube_binary64_1137 sqr-pow_binary64_1073
Counts
1 → 18
Calls

1 calls:

34.0ms
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))

series150.0ms (1.1%)

Counts
1 → 3
Calls

1 calls:

149.0ms
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))

simplify148.0ms (1.1%)

Algorithm
1×egg-herbie
Counts
21 → 21
Iterations

Useful iterations: 0 (128.0ms)

IterNodesCost
05269280

prune93.0ms (0.7%)

Pruning

16 alts after pruning (14 fresh and 2 done)

PrunedKeptTotal
New14721
Fresh178
Picked011
Done011
Total151631

Merged error: 52.0b

Counts
31 → 16
Compiler

Compiled 819 to 619 computations (24.4% saved)

localize24.0ms (0.2%)

Local error

Found 2 expressions with local error:

1.0b
(cbrt.f64 (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3))
23.0b
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))

rewrite29.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
12×cbrt-prod_binary64_1132
7×add-sqr-sqrt_binary64_1123 *-un-lft-identity_binary64_1101 add-cube-cbrt_binary64_1136 cancel-sign-sub-inv_binary64_1067
6×unpow-prod-down_binary64_1180
4×add-log-exp_binary64_1140
3×cube-prod_binary64_1129
2×add-exp-log_binary64_1139 pow1_binary64_1162 flip--_binary64_1076 flip3--_binary64_1105 cube-div_binary64_1130 add-cbrt-cube_binary64_1137 sqr-pow_binary64_1073 cbrt-div_binary64_1133
1×diff-log_binary64_1193 cube-mult_binary64_1131 pow1/3_binary64_1183 sub-neg_binary64_1094 unpow3_binary64_1167 rem-cbrt-cube_binary64_1125
Counts
2 → 41
Calls

2 calls:

12.0ms
(cbrt.f64 (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3))
11.0ms
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))

series123.0ms (0.9%)

Counts
2 → 6
Calls

2 calls:

63.0ms
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
61.0ms
(cbrt.f64 (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3))

simplify82.0ms (0.6%)

Algorithm
1×egg-herbie
Counts
47 → 47
Iterations

Useful iterations: 0 (60.0ms)

IterNodesCost
05079844

prune210.0ms (1.6%)

Pruning

25 alts after pruning (22 fresh and 3 done)

PrunedKeptTotal
New371047
Fresh11213
Picked011
Done022
Total382563

Merged error: 52.0b

Counts
63 → 25
Compiler

Compiled 1754 to 1370 computations (21.9% saved)

localize26.0ms (0.2%)

Local error

Found 2 expressions with local error:

1.0b
(cbrt.f64 (pow.f64 (+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4))) 3))
23.0b
(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))

rewrite33.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
12×cbrt-prod_binary64_1132
6×add-log-exp_binary64_1140
5×add-sqr-sqrt_binary64_1123 *-un-lft-identity_binary64_1101 add-cube-cbrt_binary64_1136
3×cube-prod_binary64_1129 unpow-prod-down_binary64_1180
2×sum-log_binary64_1192 add-exp-log_binary64_1139 pow1_binary64_1162 flip3-+_binary64_1104 cube-div_binary64_1130 add-cbrt-cube_binary64_1137 flip-+_binary64_1075 cbrt-div_binary64_1133
1×cube-mult_binary64_1131 pow1/3_binary64_1183 associate-+r-_binary64_1035 neg-log_binary64_1194 unsub-neg_binary64_1095 neg-sub0_binary64_1096 unpow3_binary64_1167 +-commutative_binary64_1031 sqr-pow_binary64_1073 rem-cbrt-cube_binary64_1125
Counts
2 → 37
Calls

2 calls:

14.0ms
(cbrt.f64 (pow.f64 (+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4))) 3))
13.0ms
(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))

series262.0ms (2%)

Counts
2 → 6
Calls

2 calls:

201.0ms
(cbrt.f64 (pow.f64 (+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4))) 3))
61.0ms
(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))

simplify311.0ms (2.4%)

Algorithm
1×egg-herbie
Counts
43 → 43
Iterations

Useful iterations: 0 (254.0ms)

IterNodesCost
04877804
14877804

prune157.0ms (1.2%)

Pruning

26 alts after pruning (22 fresh and 4 done)

PrunedKeptTotal
New39443
Fresh31821
Picked011
Done033
Total422668

Merged error: 52.0b

Counts
68 → 26
Compiler

Compiled 1023 to 777 computations (24% saved)

regimes1.8s (14%)

Compiler

Compiled 9620 to 8079 computations (16% saved)

bsearch2.3s (17.5%)

simplify55.0ms (0.4%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
06751
16751

end0.0ms (0%)

sample5.7s (43.1%)

Algorithm
1×intervals
Results
664.0ms8000×body128valid
384.0ms8000×pre128true
Compiler

Compiled 1505 to 1279 computations (15% saved)

Pareto

0.611111115888446

Profiling

Loading profile data...