Details

Time bar (total: 28.0s)

analyze1.1s (3.9%)

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
0%99.9%0.1%5
0%99.9%0.1%6
12.5%87.4%0.1%7
25%74.9%0.1%8
31.2%64%4.8%9
31.2%42.1%26.7%10
35.9%37.1%27.1%11
38.2%32.2%29.6%12
47.8%21.6%30.6%13
50.2%19%30.8%14
Compiler

Compiled 16 to 9 computations (43.8% saved)

sample91.0ms (0.3%)

Algorithm
1×intervals
Results
35.0ms256×body128valid
1.0ms10×body128invalid
Compiler

Compiled 31 to 20 computations (35.5% saved)

simplify327.0ms (1.2%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (8.0ms)

IterNodesCost
04113
14113

prune79.0ms (0.3%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 2
Compiler

Compiled 33 to 24 computations (27.3% saved)

localize36.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b
(+.f64 (+.f64 (*.f64 x y) (*.f64 z z)) (*.f64 z z))
0.0b
(+.f64 (*.f64 x y) (*.f64 z z))
0.1b
(+.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z z)) (*.f64 z z)) (*.f64 z z))

rewrite115.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
19×add-log-exp_binary64_14098
10×sum-log_binary64_14150
3×add-cbrt-cube_binary64_14095 flip-+_binary64_14033 add-cube-cbrt_binary64_14094 *-un-lft-identity_binary64_14059 pow1_binary64_14120 +-commutative_binary64_13989 add-sqr-sqrt_binary64_14081 flip3-+_binary64_14062 add-exp-log_binary64_14097
2×associate-+l+_binary64_13992
Counts
3 → 38
Calls

3 calls:

52.0ms
(+.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z z)) (*.f64 z z)) (*.f64 z z))
27.0ms
(+.f64 (+.f64 (*.f64 x y) (*.f64 z z)) (*.f64 z z))
21.0ms
(+.f64 (*.f64 x y) (*.f64 z z))

series561.0ms (2%)

Counts
3 → 9
Calls

3 calls:

213.0ms
(+.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z z)) (*.f64 z z)) (*.f64 z z))
178.0ms
(+.f64 (+.f64 (*.f64 x y) (*.f64 z z)) (*.f64 z z))
170.0ms
(+.f64 (*.f64 x y) (*.f64 z z))

simplify323.0ms (1.2%)

Algorithm
1×egg-herbie
Counts
47 → 47
Iterations

Useful iterations: 0 (271.0ms)

IterNodesCost
04868767
14868767

prune503.0ms (1.8%)

Pruning

22 alts after pruning (21 fresh and 1 done)

PrunedKeptTotal
New272047
Fresh011
Picked011
Done000
Total272249

Merged error: 0.0b

Counts
49 → 22
Compiler

Compiled 1310 to 443 computations (66.2% saved)

localize32.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b
(+.f64 (+.f64 (*.f64 x y) (*.f64 z z)) (*.f64 z z))
0.0b
(+.f64 (*.f64 x y) (*.f64 z z))
0.1b
(+.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z z)) (*.f64 z z)) (*.f64 z z))

rewrite101.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
19×add-log-exp_binary64_14098
10×sum-log_binary64_14150
3×add-cbrt-cube_binary64_14095 flip-+_binary64_14033 add-cube-cbrt_binary64_14094 *-un-lft-identity_binary64_14059 pow1_binary64_14120 +-commutative_binary64_13989 add-sqr-sqrt_binary64_14081 flip3-+_binary64_14062 add-exp-log_binary64_14097
2×associate-+l+_binary64_13992
Counts
3 → 38
Calls

3 calls:

40.0ms
(+.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z z)) (*.f64 z z)) (*.f64 z z))
29.0ms
(+.f64 (+.f64 (*.f64 x y) (*.f64 z z)) (*.f64 z z))
18.0ms
(+.f64 (*.f64 x y) (*.f64 z z))

series470.0ms (1.7%)

Counts
3 → 9
Calls

3 calls:

183.0ms
(+.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z z)) (*.f64 z z)) (*.f64 z z))
150.0ms
(+.f64 (+.f64 (*.f64 x y) (*.f64 z z)) (*.f64 z z))
137.0ms
(+.f64 (*.f64 x y) (*.f64 z z))

simplify297.0ms (1.1%)

Algorithm
1×egg-herbie
Counts
47 → 47
Iterations

Useful iterations: 0 (246.0ms)

IterNodesCost
04868767
14868767

prune1.3s (4.6%)

Pruning

39 alts after pruning (37 fresh and 2 done)

PrunedKeptTotal
New291847
Fresh11920
Picked011
Done011
Total303969

Merged error: 0.0b

Counts
69 → 39
Compiler

Compiled 1844 to 781 computations (57.6% saved)

localize72.0ms (0.3%)

Local error

Found 3 expressions with local error:

0.0b
(+.f64 (+.f64 (*.f64 x y) (*.f64 z z)) (*.f64 z z))
0.0b
(+.f64 (*.f64 x y) (*.f64 z z))
0.1b
(+.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z z)) (*.f64 z z)) (*.f64 z z))

rewrite140.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
19×add-log-exp_binary64_14098
10×sum-log_binary64_14150
3×add-cbrt-cube_binary64_14095 flip-+_binary64_14033 add-cube-cbrt_binary64_14094 *-un-lft-identity_binary64_14059 pow1_binary64_14120 +-commutative_binary64_13989 add-sqr-sqrt_binary64_14081 flip3-+_binary64_14062 add-exp-log_binary64_14097
2×associate-+l+_binary64_13992
Counts
3 → 38
Calls

3 calls:

71.0ms
(+.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z z)) (*.f64 z z)) (*.f64 z z))
39.0ms
(+.f64 (+.f64 (*.f64 x y) (*.f64 z z)) (*.f64 z z))
17.0ms
(+.f64 (*.f64 x y) (*.f64 z z))

series422.0ms (1.5%)

Counts
3 → 9
Calls

3 calls:

154.0ms
(+.f64 (+.f64 (*.f64 x y) (*.f64 z z)) (*.f64 z z))
135.0ms
(+.f64 (*.f64 x y) (*.f64 z z))
132.0ms
(+.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z z)) (*.f64 z z)) (*.f64 z z))

simplify360.0ms (1.3%)

Algorithm
1×egg-herbie
Counts
47 → 47
Iterations

Useful iterations: 0 (311.0ms)

IterNodesCost
04868767
14868767

prune1.5s (5.5%)

Pruning

56 alts after pruning (53 fresh and 3 done)

PrunedKeptTotal
New301747
Fresh03636
Picked011
Done022
Total305686

Merged error: 0.0b

Counts
86 → 56
Compiler

Compiled 2386 to 1142 computations (52.1% saved)

localize26.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b
(+.f64 (pow.f64 (+.f64 (*.f64 x y) (*.f64 z z)) 1) (*.f64 z z))
0.0b
(+.f64 (*.f64 x y) (*.f64 z z))
0.1b
(+.f64 (+.f64 (pow.f64 (+.f64 (*.f64 x y) (*.f64 z z)) 1) (*.f64 z z)) (*.f64 z z))

rewrite84.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
12×add-log-exp_binary64_14098
5×sum-log_binary64_14150
3×add-cbrt-cube_binary64_14095 flip-+_binary64_14033 add-cube-cbrt_binary64_14094 *-un-lft-identity_binary64_14059 pow1_binary64_14120 +-commutative_binary64_13989 add-sqr-sqrt_binary64_14081 flip3-+_binary64_14062 add-exp-log_binary64_14097
1×associate-+l+_binary64_13992
Counts
3 → 35
Calls

3 calls:

35.0ms
(+.f64 (pow.f64 (+.f64 (*.f64 x y) (*.f64 z z)) 1) (*.f64 z z))
27.0ms
(+.f64 (+.f64 (pow.f64 (+.f64 (*.f64 x y) (*.f64 z z)) 1) (*.f64 z z)) (*.f64 z z))
9.0ms
(+.f64 (*.f64 x y) (*.f64 z z))

series547.0ms (2%)

Counts
3 → 9
Calls

3 calls:

230.0ms
(+.f64 (+.f64 (pow.f64 (+.f64 (*.f64 x y) (*.f64 z z)) 1) (*.f64 z z)) (*.f64 z z))
182.0ms
(+.f64 (pow.f64 (+.f64 (*.f64 x y) (*.f64 z z)) 1) (*.f64 z z))
134.0ms
(+.f64 (*.f64 x y) (*.f64 z z))

simplify239.0ms (0.9%)

Algorithm
1×egg-herbie
Counts
44 → 44
Iterations

Useful iterations: 0 (198.0ms)

IterNodesCost
04895730
14895730

prune1.4s (5%)

Pruning

61 alts after pruning (57 fresh and 4 done)

PrunedKeptTotal
New38644
Fresh15152
Picked011
Done033
Total3961100

Merged error: 0.0b

Counts
100 → 61
Compiler

Compiled 1024 to 418 computations (59.2% saved)

regimes5.9s (21%)

Compiler

Compiled 16221 to 9896 computations (39% saved)

bsearch0.0ms (0%)

simplify13.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (10.0ms)

IterNodesCost
01922
11922

end0.0ms (0%)

sample12.0s (42.7%)

Algorithm
1×intervals
Results
1.3s8000×body128valid
37.0ms444×body128invalid
Compiler

Compiled 2709 to 1653 computations (39% saved)

Pareto

0

Profiling

Loading profile data...