Details

Time bar (total: 5.8s)

analyze693.0ms (12.1%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.8%0.2%0
0%99.8%0.2%1
0%99.8%0.2%2
0%99.8%0.2%3
0%99.8%0.2%4
0%99.8%0.2%5
0%99.8%0.2%6
0%99.8%0.2%7
9.4%90.4%0.2%8
9.4%90.4%0.2%9
10.9%88.9%0.2%10
25.9%73.9%0.2%11
47.1%52.7%0.2%12
55.3%44.5%0.2%13
59.2%40.6%0.2%14
Compiler

Compiled 18 to 15 computations (16.7% saved)

sample23.0ms (0.4%)

Algorithm
1×intervals
Results
13.0ms256×body128valid
Compiler

Compiled 35 to 33 computations (5.7% saved)

simplify70.0ms (1.2%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (63.0ms)

IterNodesCost
0490319
1490319

prune11.0ms (0.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 2.3b

Counts
2 → 2
Compiler

Compiled 73 to 61 computations (16.4% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b
(-.f64 (/.f64 (*.f64 y t) (*.f64 2 z)) z)
0.0b
(+.f64 x (/.f64 y (-.f64 (/.f64 (*.f64 y t) (*.f64 2 z)) z)))
4.9b
(/.f64 (*.f64 y t) (*.f64 2 z))
5.6b
(/.f64 y (-.f64 (/.f64 (*.f64 y t) (*.f64 2 z)) z))

rewrite50.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Rules
27×*-un-lft-identity_binary64
25×add-sqr-sqrt_binary64
18×add-exp-log_binary64 add-cbrt-cube_binary64
16×times-frac_binary64
15×add-cube-cbrt_binary64
8×add-log-exp_binary64
6×associate-/r*_binary64
5×cbrt-undiv_binary64 difference-of-squares_binary64 distribute-lft-out--_binary64 div-exp_binary64
4×pow1_binary64 cbrt-unprod_binary64 prod-exp_binary64 associate-/l*_binary64
3×cancel-sign-sub-inv_binary64
2×flip3--_binary64 associate-/r/_binary64 clear-num_binary64 frac-2neg_binary64 div-inv_binary64 flip--_binary64
1×flip3-+_binary64 sub-neg_binary64 diff-log_binary64 distribute-lft-out_binary64 +-commutative_binary64 flip-+_binary64 sum-log_binary64
Counts
4 → 86
Calls

4 calls:

15.0ms
(+.f64 x (/.f64 y (-.f64 (/.f64 (*.f64 y t) (*.f64 2 z)) z)))
11.0ms
(/.f64 y (-.f64 (/.f64 (*.f64 y t) (*.f64 2 z)) z))
9.0ms
(-.f64 (/.f64 (*.f64 y t) (*.f64 2 z)) z)
6.0ms
(/.f64 (*.f64 y t) (*.f64 2 z))

series406.0ms (7.1%)

Counts
4 → 12
Calls

4 calls:

136.0ms
(/.f64 y (-.f64 (/.f64 (*.f64 y t) (*.f64 2 z)) z))
128.0ms
(+.f64 x (/.f64 y (-.f64 (/.f64 (*.f64 y t) (*.f64 2 z)) z)))
91.0ms
(-.f64 (/.f64 (*.f64 y t) (*.f64 2 z)) z)
50.0ms
(/.f64 (*.f64 y t) (*.f64 2 z))

simplify71.0ms (1.2%)

Algorithm
1×egg-herbie
Counts
98 → 98
Iterations

Useful iterations: 0 (50.0ms)

IterNodesCost
049351905
149351905

prune169.0ms (2.9%)

Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New94498
Fresh011
Picked101
Done000
Total955100

Merged error: 0.6b

Counts
100 → 5
Compiler

Compiled 3184 to 1946 computations (38.9% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b
(-.f64 (*.f64 (/.f64 y 2) (/.f64 t z)) z)
0.0b
(+.f64 x (/.f64 y (-.f64 (*.f64 (/.f64 y 2) (/.f64 t z)) z)))
5.6b
(/.f64 y (-.f64 (*.f64 (/.f64 y 2) (/.f64 t z)) z))
8.0b
(*.f64 (/.f64 y 2) (/.f64 t z))

rewrite55.0ms (1%)

Algorithm
1×rewrite-expression-head
Rules
39×add-sqr-sqrt_binary64
31×times-frac_binary64
29×*-un-lft-identity_binary64
27×add-cube-cbrt_binary64
18×add-exp-log_binary64 add-cbrt-cube_binary64
13×associate-*r*_binary64 associate-*l*_binary64
8×add-log-exp_binary64
6×pow1_binary64
5×cbrt-undiv_binary64 div-exp_binary64
4×cbrt-unprod_binary64 unswap-sqr_binary64 prod-exp_binary64
3×associate-/r*_binary64 cancel-sign-sub-inv_binary64 associate-/l*_binary64 div-inv_binary64
2×flip3--_binary64 associate-/r/_binary64 flip--_binary64
1×pow-prod-down_binary64 flip3-+_binary64 sub-neg_binary64 diff-log_binary64 distribute-lft-out_binary64 associate-*r/_binary64 clear-num_binary64 frac-2neg_binary64 +-commutative_binary64 flip-+_binary64 frac-times_binary64 associate-*l/_binary64 sum-log_binary64 *-commutative_binary64
Counts
4 → 105
Calls

4 calls:

14.0ms
(+.f64 x (/.f64 y (-.f64 (*.f64 (/.f64 y 2) (/.f64 t z)) z)))
12.0ms
(*.f64 (/.f64 y 2) (/.f64 t z))
11.0ms
(/.f64 y (-.f64 (*.f64 (/.f64 y 2) (/.f64 t z)) z))
8.0ms
(-.f64 (*.f64 (/.f64 y 2) (/.f64 t z)) z)

series400.0ms (7%)

Counts
4 → 12
Calls

4 calls:

138.0ms
(/.f64 y (-.f64 (*.f64 (/.f64 y 2) (/.f64 t z)) z))
124.0ms
(+.f64 x (/.f64 y (-.f64 (*.f64 (/.f64 y 2) (/.f64 t z)) z)))
94.0ms
(-.f64 (*.f64 (/.f64 y 2) (/.f64 t z)) z)
43.0ms
(*.f64 (/.f64 y 2) (/.f64 t z))

simplify78.0ms (1.4%)

Algorithm
1×egg-herbie
Counts
117 → 117
Iterations

Useful iterations: 0 (56.0ms)

IterNodesCost
050142069

prune147.0ms (2.6%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New1152117
Fresh314
Picked011
Done000
Total1184122

Merged error: 0.0b

Counts
122 → 4
Compiler

Compiled 2954 to 1683 computations (43% saved)

localize10.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b
(+.f64 x (/.f64 1 (-.f64 (/.f64 t (*.f64 2 z)) (/.f64 z y))))
0.0b
(-.f64 (/.f64 t (*.f64 2 z)) (/.f64 z y))
0.8b
(/.f64 1 (-.f64 (/.f64 t (*.f64 2 z)) (/.f64 z y)))

rewrite62.0ms (1.1%)

Algorithm
1×rewrite-expression-head
Rules
46×add-sqr-sqrt_binary64
34×*-un-lft-identity_binary64
32×times-frac_binary64
21×add-cube-cbrt_binary64
13×cancel-sign-sub-inv_binary64
10×difference-of-squares_binary64
7×add-log-exp_binary64
6×associate-/r*_binary64 add-exp-log_binary64
5×add-cbrt-cube_binary64 distribute-lft-out--_binary64
4×pow1_binary64
3×associate-/r/_binary64 associate-/l*_binary64 div-inv_binary64
2×flip3--_binary64 distribute-lft-out_binary64 flip--_binary64 frac-sub_binary64
1×flip3-+_binary64 sub-neg_binary64 diff-log_binary64 cbrt-undiv_binary64 clear-num_binary64 inv-pow_binary64 frac-2neg_binary64 rec-exp_binary64 div-exp_binary64 +-commutative_binary64 pow-flip_binary64 flip-+_binary64 sum-log_binary64
Counts
3 → 86
Calls

3 calls:

24.0ms
(+.f64 x (/.f64 1 (-.f64 (/.f64 t (*.f64 2 z)) (/.f64 z y))))
16.0ms
(/.f64 1 (-.f64 (/.f64 t (*.f64 2 z)) (/.f64 z y)))
14.0ms
(-.f64 (/.f64 t (*.f64 2 z)) (/.f64 z y))

series366.0ms (6.4%)

Counts
3 → 9
Calls

3 calls:

192.0ms
(/.f64 1 (-.f64 (/.f64 t (*.f64 2 z)) (/.f64 z y)))
118.0ms
(+.f64 x (/.f64 1 (-.f64 (/.f64 t (*.f64 2 z)) (/.f64 z y))))
56.0ms
(-.f64 (/.f64 t (*.f64 2 z)) (/.f64 z y))

simplify94.0ms (1.6%)

Algorithm
1×egg-herbie
Counts
95 → 95
Iterations

Useful iterations: 0 (71.0ms)

IterNodesCost
048431934
148431934

prune121.0ms (2.1%)

Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New94195
Fresh022
Picked011
Done011
Total94599

Merged error: 0.0b

Counts
99 → 5
Compiler

Compiled 2355 to 1444 computations (38.7% saved)

localize15.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.5b
(/.f64 1 (*.f64 (cbrt.f64 (-.f64 (/.f64 t (*.f64 2 z)) (/.f64 z y))) (cbrt.f64 (-.f64 (/.f64 t (*.f64 2 z)) (/.f64 z y)))))
14.8b
(cbrt.f64 (-.f64 (/.f64 t (*.f64 2 z)) (/.f64 z y)))
14.8b
(cbrt.f64 (-.f64 (/.f64 t (*.f64 2 z)) (/.f64 z y)))
14.8b
(cbrt.f64 (-.f64 (/.f64 t (*.f64 2 z)) (/.f64 z y)))

rewrite90.0ms (1.6%)

Algorithm
1×rewrite-expression-head
Rules
33×cbrt-div_binary64
24×add-sqr-sqrt_binary64
18×cbrt-prod_binary64
15×*-un-lft-identity_binary64 associate-/r/_binary64
12×pow1_binary64 add-exp-log_binary64
11×flip3--_binary64 flip--_binary64 frac-sub_binary64
9×pow1/3_binary64 add-cube-cbrt_binary64 pow-flip_binary64 frac-times_binary64
7×add-cbrt-cube_binary64
6×difference-of-squares_binary64 times-frac_binary64
4×add-log-exp_binary64
3×associate-*r/_binary64 associate-/l*_binary64 distribute-lft-out--_binary64 associate-*l/_binary64
2×pow-prod-down_binary64 pow-prod-up_binary64 cbrt-undiv_binary64 prod-exp_binary64 rec-exp_binary64 div-exp_binary64 pow-sqr_binary64
1×associate-/r*_binary64 cbrt-unprod_binary64 pow-plus_binary64 clear-num_binary64 inv-pow_binary64 frac-2neg_binary64 div-inv_binary64 pow2_binary64
Counts
4 → 99
Calls

4 calls:

37.0ms
(/.f64 1 (*.f64 (cbrt.f64 (-.f64 (/.f64 t (*.f64 2 z)) (/.f64 z y))) (cbrt.f64 (-.f64 (/.f64 t (*.f64 2 z)) (/.f64 z y)))))
13.0ms
(cbrt.f64 (-.f64 (/.f64 t (*.f64 2 z)) (/.f64 z y)))
12.0ms
(cbrt.f64 (-.f64 (/.f64 t (*.f64 2 z)) (/.f64 z y)))
12.0ms
(cbrt.f64 (-.f64 (/.f64 t (*.f64 2 z)) (/.f64 z y)))

series1.6s (27.7%)

Counts
4 → 12
Calls

4 calls:

455.0ms
(/.f64 1 (*.f64 (cbrt.f64 (-.f64 (/.f64 t (*.f64 2 z)) (/.f64 z y))) (cbrt.f64 (-.f64 (/.f64 t (*.f64 2 z)) (/.f64 z y)))))
382.0ms
(cbrt.f64 (-.f64 (/.f64 t (*.f64 2 z)) (/.f64 z y)))
380.0ms
(cbrt.f64 (-.f64 (/.f64 t (*.f64 2 z)) (/.f64 z y)))
378.0ms
(cbrt.f64 (-.f64 (/.f64 t (*.f64 2 z)) (/.f64 z y)))

simplify98.0ms (1.7%)

Algorithm
1×egg-herbie
Counts
111 → 111
Iterations

Useful iterations: 0 (70.0ms)

IterNodesCost
048582865
148582865

prune252.0ms (4.4%)

Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New1110111
Fresh022
Picked011
Done022
Total1115116

Merged error: 0.0b

Counts
116 → 5
Compiler

Compiled 5365 to 3204 computations (40.3% saved)

regimes93.0ms (1.6%)

Compiler

Compiled 702 to 590 computations (16% saved)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03219
13219

end0.0ms (0%)

sample758.0ms (13.2%)

Algorithm
1×intervals
Results
384.0ms8000×body128valid
Compiler

Compiled 149 to 127 computations (14.8% saved)

Profiling

Loading profile data...