Details

Time bar (total: 2.3s)

analyze342.0ms (14.8%)

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
6.2%93.6%0.1%6
15.6%84.3%0.1%7
31.2%68.6%0.1%8
39%56.2%4.8%9
50.7%43.7%5.6%10
60.3%33.7%6%11
64.6%26.5%8.9%12
70.5%20.3%9.2%13
74.6%16.1%9.4%14
Compiler

Compiled 13 to 9 computations (30.8% saved)

sample18.0ms (0.8%)

Algorithm
1×intervals
Results
9.0ms256×body128valid
1.0ms16×body128invalid
Compiler

Compiled 28 to 20 computations (28.6% saved)

simplify11.0ms (0.5%)

Algorithm
1×egg-herbie
Rules
5×+-commutative_binary64
3×associate-+r+_binary64
3×associate-+l+_binary64
1×*-commutative_binary64
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0913
11413
22013
32013
42013

prune2.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112
Error
0.0b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶0.0b
(+.f64 (+.f64 (/.f64 x 2) (*.f64 y x)) z)
Compiler

Compiled 36 to 24 computations (33.3% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b
(+.f64 (/.f64 x 2) (*.f64 y x))
0.0b
(+.f64 (+.f64 (/.f64 x 2) (*.f64 y x)) z)

rewrite32.0ms (1.4%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
9×add-log-exp_binary64
4×*-un-lft-identity_binary64
4×sum-log_binary64
2×+-commutative_binary64
2×flip-+_binary64
Counts
2 → 25
Calls

2 calls:

7.0ms
(+.f64 (+.f64 (/.f64 x 2) (*.f64 y x)) z)
5.0ms
(+.f64 (/.f64 x 2) (*.f64 y x))
Compiler

Compiled 445 to 232 computations (47.9% saved)

series44.0ms (1.9%)

Error
0.0b
Counts
2 → 27
Calls

2 calls:

23.0ms
(+.f64 (+.f64 (/.f64 x 2) (*.f64 y x)) z)
13.0ms
(+.f64 (/.f64 x 2) (*.f64 y x))
Compiler

Compiled 489 to 321 computations (34.4% saved)

simplify96.0ms (4.2%)

Algorithm
1×egg-herbie
Rules
367×associate-*l*_binary64
366×cancel-sign-sub-inv_binary64
329×sub-neg_binary64
280×distribute-rgt-out_binary64
264×associate-*r*_binary64
Counts
52 → 39
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
057697
1181643
2491628
31474622
42686622
54484622
65010622

prune15.0ms (0.6%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New38139
Fresh000
Picked011
Done000
Total38240
Error
0.0b
Counts
40 → 2
Alt Table
StatusErrorProgram
✓0.0b
(+.f64 (+.f64 (/.f64 x 2) (*.f64 y x)) z)
▶1.3b
(*.f64 (*.f64 (cbrt.f64 (+.f64 z (+.f64 (*.f64 y x) (/.f64 x 2)))) (cbrt.f64 (+.f64 z (+.f64 (*.f64 y x) (/.f64 x 2))))) (cbrt.f64 (+.f64 z (+.f64 (*.f64 y x) (/.f64 x 2)))))
Compiler

Compiled 416 to 231 computations (44.5% saved)

localize11.0ms (0.5%)

Local error

Found 4 expressions with local error:

0.5b
(*.f64 (cbrt.f64 (+.f64 z (+.f64 (*.f64 y x) (/.f64 x 2)))) (cbrt.f64 (+.f64 z (+.f64 (*.f64 y x) (/.f64 x 2)))))
0.5b
(cbrt.f64 (+.f64 z (+.f64 (*.f64 y x) (/.f64 x 2))))
0.5b
(cbrt.f64 (+.f64 z (+.f64 (*.f64 y x) (/.f64 x 2))))
0.5b
(cbrt.f64 (+.f64 z (+.f64 (*.f64 y x) (/.f64 x 2))))

rewrite151.0ms (6.6%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
36×cbrt-prod_binary64
35×*-un-lft-identity_binary64
23×add-sqr-sqrt_binary64
18×cbrt-div_binary64
15×add-cube-cbrt_binary64
Counts
4 → 95
Calls

4 calls:

17.0ms
(*.f64 (cbrt.f64 (+.f64 z (+.f64 (*.f64 y x) (/.f64 x 2)))) (cbrt.f64 (+.f64 z (+.f64 (*.f64 y x) (/.f64 x 2)))))
11.0ms
(cbrt.f64 (+.f64 z (+.f64 (*.f64 y x) (/.f64 x 2))))
6.0ms
(cbrt.f64 (+.f64 z (+.f64 (*.f64 y x) (/.f64 x 2))))
5.0ms
(cbrt.f64 (+.f64 z (+.f64 (*.f64 y x) (/.f64 x 2))))
Compiler

Compiled 3918 to 2162 computations (44.8% saved)

series495.0ms (21.5%)

Error
0.0b
Counts
4 → 75
Calls

4 calls:

189.0ms
(*.f64 (cbrt.f64 (+.f64 z (+.f64 (*.f64 y x) (/.f64 x 2)))) (cbrt.f64 (+.f64 z (+.f64 (*.f64 y x) (/.f64 x 2)))))
69.0ms
(cbrt.f64 (+.f64 z (+.f64 (*.f64 y x) (/.f64 x 2))))
68.0ms
(cbrt.f64 (+.f64 z (+.f64 (*.f64 y x) (/.f64 x 2))))
65.0ms
(cbrt.f64 (+.f64 z (+.f64 (*.f64 y x) (/.f64 x 2))))
Compiler

Compiled 11706 to 8556 computations (26.9% saved)

simplify260.0ms (11.3%)

Algorithm
1×egg-herbie
Rules
335×associate-*r*_binary64
256×unswap-sqr_binary64
247×times-frac_binary64
235×associate-*l*_binary64
212×*-commutative_binary64
Counts
170 → 132
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
03507238
110386708
239796271
349456006
449956006
549486006

prune88.0ms (3.8%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1320132
Fresh000
Picked011
Done011
Total1322134
Error
0.0b
Counts
134 → 2
Alt Table
StatusErrorProgram
0.0b
(+.f64 (+.f64 (/.f64 x 2) (*.f64 y x)) z)
1.3b
(*.f64 (*.f64 (cbrt.f64 (+.f64 z (+.f64 (*.f64 y x) (/.f64 x 2)))) (cbrt.f64 (+.f64 z (+.f64 (*.f64 y x) (/.f64 x 2))))) (cbrt.f64 (+.f64 z (+.f64 (*.f64 y x) (/.f64 x 2)))))
Compiler

Compiled 4763 to 2927 computations (38.5% saved)

regimes122.0ms (5.3%)

Accuracy

Total 0.0b remaining (46.6%)

Threshold costs 0.0b (46.6%)

Compiler

Compiled 1865 to 1234 computations (33.8% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
2×+-commutative_binary64
1×*-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0810
11110
21110

end0.0ms (0%)

Compiler

Compiled 10 to 7 computations (30% saved)

sample611.0ms (26.5%)

Algorithm
1×intervals
Results
297.0ms7998×body128valid
11.0ms280×body128invalid
0.0ms1×body1024valid
0.0ms1×body512valid
Compiler

Compiled 73 to 48 computations (34.2% saved)

Profiling

Loading profile data...