Details

Time bar (total: 2.0min)

analyze1.5s (1.3%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.6%0.4%0
0%99.6%0.4%1
0%99.6%0.4%2
0%99.6%0.4%3
0%99.6%0.4%4
0%99.6%0.4%5
0%99.6%0.4%6
0%99.6%0.4%7
0%99.6%0.4%8
0%99.6%0.4%9
0%99.6%0.4%10
0%99.6%0.4%11
0%99.6%0.4%12
0%99.6%0.4%13
0%99.6%0.4%14
Compiler

Compiled 16 to 16 computations (0% saved)

sample50.0ms (0%)

Algorithm
1×intervals
Results
18.0ms256×body128valid
9.0ms172×body128invalid
Compiler

Compiled 31 to 39 computations (-25.8% saved)

simplify8.0ms (0%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
06722
16722

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 1
Compiler

Compiled 30 to 30 computations (0% saved)

localize12.0ms (0%)

Local error

Found 3 expressions with local error:

0.0b
(+.f64 (*.f64 x y) (*.f64 z t))
0.0b
(+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))
0.0b
(+.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)) (*.f64 c i))

rewrite24.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
19×add-log-exp_binary64
10×sum-log_binary64
3×flip3-+_binary64 *-un-lft-identity_binary64 pow1_binary64 add-cube-cbrt_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 add-sqr-sqrt_binary64 +-commutative_binary64 flip-+_binary64
2×associate-+l+_binary64
Counts
3 → 38
Calls

3 calls:

10.0ms
(+.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)) (*.f64 c i))
7.0ms
(+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))
4.0ms
(+.f64 (*.f64 x y) (*.f64 z t))

series616.0ms (0.5%)

Counts
3 → 9
Calls

3 calls:

420.0ms
(+.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)) (*.f64 c i))
127.0ms
(+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))
68.0ms
(+.f64 (*.f64 x y) (*.f64 z t))

simplify62.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
47 → 47
Iterations

Useful iterations: 0 (50.0ms)

IterNodesCost
052061004

prune86.0ms (0.1%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New43447
Fresh000
Picked011
Done000
Total43548

Merged error: 0.0b

Counts
48 → 5
Compiler

Compiled 2063 to 846 computations (59% saved)

localize16.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b
(+.f64 (*.f64 c i) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))))
0.1b
(sqrt.f64 (+.f64 (*.f64 c i) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t)))))
0.1b
(sqrt.f64 (+.f64 (*.f64 c i) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t)))))
0.3b
(*.f64 (sqrt.f64 (+.f64 (*.f64 c i) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))))) (sqrt.f64 (+.f64 (*.f64 c i) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))))))

rewrite66.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
30×add-sqr-sqrt_binary64
24×sqrt-prod_binary64
21×pow1_binary64
16×sqrt-div_binary64
14×*-un-lft-identity_binary64 add-cube-cbrt_binary64
13×add-log-exp_binary64
10×pow1/2_binary64 sqrt-pow1_binary64
9×flip3-+_binary64 flip-+_binary64
8×swap-sqr_binary64
6×associate-*r*_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 associate-*l*_binary64 sum-log_binary64
5×pow-prod-up_binary64
4×unswap-sqr_binary64 rem-sqrt-square_binary64 frac-times_binary64
3×pow-prod-down_binary64 pow-sqr_binary64
2×associate-*r/_binary64 associate-*l/_binary64
1×cbrt-unprod_binary64 rem-square-sqrt_binary64 pow-plus_binary64 sqrt-unprod_binary64 prod-exp_binary64 sqr-abs_binary64 +-commutative_binary64 associate-+r+_binary64 pow2_binary64 *-commutative_binary64
Counts
4 → 102
Calls

4 calls:

23.0ms
(*.f64 (sqrt.f64 (+.f64 (*.f64 c i) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))))) (sqrt.f64 (+.f64 (*.f64 c i) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))))))
11.0ms
(+.f64 (*.f64 c i) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))))
9.0ms
(sqrt.f64 (+.f64 (*.f64 c i) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t)))))
9.0ms
(sqrt.f64 (+.f64 (*.f64 c i) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t)))))

series14.0s (11.7%)

Counts
4 → 12
Calls

4 calls:

6.6s
(sqrt.f64 (+.f64 (*.f64 c i) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t)))))
6.5s
(sqrt.f64 (+.f64 (*.f64 c i) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t)))))
434.0ms
(*.f64 (sqrt.f64 (+.f64 (*.f64 c i) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))))) (sqrt.f64 (+.f64 (*.f64 c i) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))))))
417.0ms
(+.f64 (*.f64 c i) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))))

simplify57.0ms (0%)

Algorithm
1×egg-herbie
Counts
114 → 114
Iterations

Useful iterations: 0 (21.0ms)

IterNodesCost
060543944

prune340.0ms (0.3%)

Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New1131114
Fresh123
Picked011
Done011
Total1145119

Merged error: 0.0b

Counts
119 → 5
Compiler

Compiled 5074 to 770 computations (84.8% saved)

localize18.0ms (0%)

Local error

Found 4 expressions with local error:

0.1b
(sqrt.f64 (sqrt.f64 (+.f64 (*.f64 c i) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))))))
0.1b
(sqrt.f64 (sqrt.f64 (+.f64 (*.f64 c i) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))))))
0.2b
(*.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 c i) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t)))))) (pow.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 c i) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t)))))) 3))
0.4b
(pow.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 c i) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t)))))) 3)

rewrite102.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
107×sqrt-prod_binary64
74×add-sqr-sqrt_binary64
36×sqrt-div_binary64
27×unpow-prod-down_binary64 cube-prod_binary64
25×*-un-lft-identity_binary64 add-cube-cbrt_binary64
24×associate-*r*_binary64 unswap-sqr_binary64
12×pow1_binary64 sqrt-pow1_binary64
10×add-exp-log_binary64
9×flip3-+_binary64 associate-*l*_binary64 flip-+_binary64
8×cube-div_binary64
7×add-cbrt-cube_binary64
6×pow1/2_binary64
5×pow-pow_binary64 sqr-pow_binary64
4×add-log-exp_binary64 rem-sqrt-square_binary64 frac-times_binary64
3×pow-unpow_binary64 prod-exp_binary64
2×pow-to-exp_binary64 associate-*r/_binary64 pow-exp_binary64 unpow3_binary64 associate-*l/_binary64 cube-mult_binary64
1×cbrt-unprod_binary64 sqrt-pow2_binary64 pow-prod-up_binary64 rem-cube-cbrt_binary64 *-commutative_binary64
Counts
4 → 162
Calls

4 calls:

38.0ms
(*.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 c i) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t)))))) (pow.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 c i) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t)))))) 3))
13.0ms
(pow.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 c i) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t)))))) 3)
11.0ms
(sqrt.f64 (sqrt.f64 (+.f64 (*.f64 c i) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))))))
10.0ms
(sqrt.f64 (sqrt.f64 (+.f64 (*.f64 c i) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))))))

series1.6s (1.4%)

Counts
4 → 12
Calls

4 calls:

623.0ms
(pow.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 c i) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t)))))) 3)
431.0ms
(*.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 c i) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t)))))) (pow.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 c i) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t)))))) 3))
297.0ms
(sqrt.f64 (sqrt.f64 (+.f64 (*.f64 c i) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))))))
295.0ms
(sqrt.f64 (sqrt.f64 (+.f64 (*.f64 c i) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))))))

simplify116.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
174 → 174
Iterations

Useful iterations: 0 (57.0ms)

IterNodesCost
049776548
149776548

prune195.0ms (0.2%)

Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New1740174
Fresh022
Picked011
Done022
Total1745179

Merged error: 0.0b

Counts
179 → 5
Compiler

Compiled 7878 to 931 computations (88.2% saved)

localize21.0ms (0%)

Local error

Found 4 expressions with local error:

0.3b
(*.f64 (*.f64 c i) (*.f64 c i))
0.3b
(*.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))))
5.4b
(-.f64 (*.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t)))) (*.f64 (*.f64 c i) (*.f64 c i)))
33.6b
(/.f64 (-.f64 (*.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t)))) (*.f64 (*.f64 c i) (*.f64 c i))) (-.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))) (*.f64 c i)))

rewrite90.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
50×pow1_binary64
20×add-exp-log_binary64 add-cbrt-cube_binary64
19×add-sqr-sqrt_binary64
18×pow-prod-down_binary64
17×*-un-lft-identity_binary64 add-cube-cbrt_binary64
12×times-frac_binary64
9×cbrt-unprod_binary64 prod-exp_binary64
6×flip3-+_binary64 add-log-exp_binary64 flip-+_binary64
5×pow-prod-up_binary64 difference-of-squares_binary64 pow-sqr_binary64
4×swap-sqr_binary64 associate-*r*_binary64 associate-*l*_binary64 associate-/l*_binary64 frac-times_binary64
3×associate-/r*_binary64 flip3--_binary64 pow-plus_binary64 flip--_binary64
2×associate-/l/_binary64 associate-*r/_binary64 distribute-lft-in_binary64 associate-/r/_binary64 distribute-rgt-in_binary64 pow2_binary64 associate--l+_binary64 associate-*l/_binary64 *-commutative_binary64
1×sub-neg_binary64 diff-log_binary64 cbrt-undiv_binary64 cancel-sign-sub-inv_binary64 unswap-sqr_binary64 div-sub_binary64 clear-num_binary64 frac-2neg_binary64 div-inv_binary64 div-exp_binary64
Counts
4 → 120
Calls

4 calls:

29.0ms
(/.f64 (-.f64 (*.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t)))) (*.f64 (*.f64 c i) (*.f64 c i))) (-.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))) (*.f64 c i)))
17.0ms
(-.f64 (*.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t)))) (*.f64 (*.f64 c i) (*.f64 c i)))
15.0ms
(*.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))))
7.0ms
(*.f64 (*.f64 c i) (*.f64 c i))

series1.6min (82.4%)

Counts
4 → 12
Calls

4 calls:

1.6min
(-.f64 (*.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t)))) (*.f64 (*.f64 c i) (*.f64 c i)))
2.0s
(/.f64 (-.f64 (*.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t)))) (*.f64 (*.f64 c i) (*.f64 c i))) (-.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))) (*.f64 c i)))
830.0ms
(*.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))))
46.0ms
(*.f64 (*.f64 c i) (*.f64 c i))

simplify88.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
132 → 132
Iterations

Useful iterations: 0 (47.0ms)

IterNodesCost
049734303
149734303

prune200.0ms (0.2%)

Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New1311132
Fresh011
Picked101
Done033
Total1325137

Merged error: 0b

Counts
137 → 5
Compiler

Compiled 7629 to 1430 computations (81.3% saved)

regimes271.0ms (0.2%)

Compiler

Compiled 2416 to 1658 computations (31.4% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02322
12322

end0.0ms (0%)

sample1.5s (1.3%)

Algorithm
1×intervals
Results
433.0ms8000×body128valid
294.0ms5705×body128invalid
Compiler

Compiled 185 to 131 computations (29.2% saved)

Profiling

Loading profile data...