Details

Time bar (total: 11.1s)

analyze1.4s (12.4%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.7%0.3%0
0%99.7%0.3%1
0%99.7%0.3%2
0%99.7%0.3%3
0%99.7%0.3%4
0%99.7%0.3%5
0%99.7%0.3%6
0%99.7%0.3%7
0%99.7%0.3%8
0%99.7%0.3%9
0%99.7%0.3%10
0%99.7%0.3%11
1.1%98.6%0.3%12
1.9%97.8%0.3%13
7%92.7%0.3%14
Compiler

Compiled 22 to 17 computations (22.7% saved)

sample25.0ms (0.2%)

Algorithm
1×intervals
Results
14.0ms256×body128valid
Compiler

Compiled 43 to 39 computations (9.3% saved)

simplify181.0ms (1.6%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (87.0ms)

IterNodesCost
0514131

prune3.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112
Error
27.2b
Counts
2 → 1
Compiler

Compiled 42 to 31 computations (26.2% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b
(*.f64 (+.f64 x y) z)
1.1b
(+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a))
2.5b
(-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a)) (*.f64 y b))
25.4b
(/.f64 (-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))

rewrite56.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
38×*-un-lft-identity_binary64_20879
18×add-sqr-sqrt_binary64_20901
16×add-cube-cbrt_binary64_20914
15×times-frac_binary64_20885
13×distribute-lft-out_binary64_20830
11×add-log-exp_binary64_20918
10×associate-*l/_binary64_20822
8×add-cbrt-cube_binary64_20915 add-exp-log_binary64_20917
7×flip3-+_binary64_20882 flip-+_binary64_20853
6×pow1_binary64_20940
5×associate-/r*_binary64_20823
4×associate-*l*_binary64_20820 frac-add_binary64_20887
3×associate-/l*_binary64_20824 associate-*r*_binary64_20819
2×flip3--_binary64_20883 flip--_binary64_20854 associate-/l/_binary64_20826 sum-log_binary64_20970 associate-/r/_binary64_20825 diff-log_binary64_20971
1×associate--l+_binary64_20816 div-exp_binary64_20930 pow-prod-down_binary64_20950 cbrt-undiv_binary64_20913 frac-2neg_binary64_20890 +-commutative_binary64_20809 cancel-sign-sub-inv_binary64_20845 sub-neg_binary64_20872 unswap-sqr_binary64_20847 div-inv_binary64_20876 *-commutative_binary64_20810 clear-num_binary64_20878 prod-exp_binary64_20928 cbrt-unprod_binary64_20912 div-sub_binary64_20884
Counts
4 → 90
Calls

4 calls:

17.0ms
(/.f64 (-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))
11.0ms
(-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a)) (*.f64 y b))
10.0ms
(*.f64 (+.f64 x y) z)
9.0ms
(+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a))

series798.0ms (7.2%)

Counts
4 → 12
Calls

4 calls:

598.0ms
(/.f64 (-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))
118.0ms
(-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a)) (*.f64 y b))
59.0ms
(+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a))
22.0ms
(*.f64 (+.f64 x y) z)

simplify72.0ms (0.6%)

Algorithm
1×egg-herbie
Counts
102 → 102
Iterations

Useful iterations: 0 (41.0ms)

IterNodesCost
056323072

prune120.0ms (1.1%)

Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New9210102
Fresh000
Picked101
Done000
Total9310103
Error
8.5b
Counts
103 → 10
Compiler

Compiled 3384 to 557 computations (83.5% saved)

localize18.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b
(/.f64 1 (+.f64 x (+.f64 y t)))
1.1b
(+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a))
2.5b
(-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a)) (*.f64 y b))
25.5b
(*.f64 (-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a)) (*.f64 y b)) (/.f64 1 (+.f64 x (+.f64 y t))))

rewrite62.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
60×*-un-lft-identity_binary64_20879
32×times-frac_binary64_20885
31×add-sqr-sqrt_binary64_20901
24×add-cube-cbrt_binary64_20914
21×associate-*r*_binary64_20819 distribute-lft-out_binary64_20830
17×add-exp-log_binary64_20917
11×add-cbrt-cube_binary64_20915 add-log-exp_binary64_20918
10×associate-*l/_binary64_20822
7×flip3-+_binary64_20882 flip-+_binary64_20853 pow1_binary64_20940
5×associate-/r*_binary64_20823
4×div-exp_binary64_20930 associate-/r/_binary64_20825 prod-exp_binary64_20928 frac-add_binary64_20887
3×flip3--_binary64_20883 associate-/l*_binary64_20824 associate-*l*_binary64_20820 flip--_binary64_20854 unswap-sqr_binary64_20847
2×rec-exp_binary64_20929 cbrt-undiv_binary64_20913 sum-log_binary64_20970 1-exp_binary64_20923 diff-log_binary64_20971 div-inv_binary64_20876 cbrt-unprod_binary64_20912 frac-times_binary64_20889
1×inv-pow_binary64_20964 associate--l+_binary64_20816 pow-prod-down_binary64_20950 un-div-inv_binary64_20877 frac-2neg_binary64_20890 +-commutative_binary64_20809 cancel-sign-sub-inv_binary64_20845 sub-neg_binary64_20872 *-commutative_binary64_20810 pow-flip_binary64_20953 clear-num_binary64_20878 associate-*r/_binary64_20821
Counts
4 → 118
Calls

4 calls:

22.0ms
(*.f64 (-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a)) (*.f64 y b)) (/.f64 1 (+.f64 x (+.f64 y t))))
11.0ms
(-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a)) (*.f64 y b))
8.0ms
(+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a))
8.0ms
(/.f64 1 (+.f64 x (+.f64 y t)))

series817.0ms (7.3%)

Counts
4 → 12
Calls

4 calls:

602.0ms
(*.f64 (-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a)) (*.f64 y b)) (/.f64 1 (+.f64 x (+.f64 y t))))
114.0ms
(-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a)) (*.f64 y b))
59.0ms
(+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a))
41.0ms
(/.f64 1 (+.f64 x (+.f64 y t)))

simplify88.0ms (0.8%)

Algorithm
1×egg-herbie
Counts
130 → 130
Iterations

Useful iterations: 0 (58.0ms)

IterNodesCost
050033397

prune121.0ms (1.1%)

Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New1291130
Fresh189
Picked011
Done000
Total13010140
Error
8.5b
Counts
140 → 10
Compiler

Compiled 4238 to 841 computations (80.2% saved)

localize23.0ms (0.2%)

Local error

Found 4 expressions with local error:

8.6b
(/.f64 (*.f64 (cbrt.f64 (-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 y t) a)) (*.f64 y b))) (cbrt.f64 (-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 y t) a)) (*.f64 y b)))) (*.f64 (cbrt.f64 (+.f64 x (+.f64 y t))) (cbrt.f64 (+.f64 x (+.f64 y t)))))
26.2b
(cbrt.f64 (-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 y t) a)) (*.f64 y b)))
26.2b
(cbrt.f64 (-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 y t) a)) (*.f64 y b)))
26.2b
(cbrt.f64 (-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 y t) a)) (*.f64 y b)))

rewrite87.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Rules
30×cbrt-div_binary64_20911
16×add-exp-log_binary64_20917
9×flip3--_binary64_20883 flip--_binary64_20854 cbrt-prod_binary64_20910
8×associate-/l/_binary64_20826 add-cbrt-cube_binary64_20915 associate-/r/_binary64_20825 frac-times_binary64_20889
7×add-sqr-sqrt_binary64_20901 add-cube-cbrt_binary64_20914 *-un-lft-identity_binary64_20879
6×flip3-+_binary64_20882 flip-+_binary64_20853
4×div-exp_binary64_20930 cbrt-undiv_binary64_20913 prod-exp_binary64_20928 pow1_binary64_20940 add-log-exp_binary64_20918 cbrt-unprod_binary64_20912 associate-*r/_binary64_20821 associate-*l/_binary64_20822
3×pow1/3_binary64_20961
1×associate-/l*_binary64_20824 times-frac_binary64_20885 associate-/r*_binary64_20823 frac-2neg_binary64_20890 div-inv_binary64_20876 clear-num_binary64_20878
Counts
4 → 76
Calls

4 calls:

38.0ms
(/.f64 (*.f64 (cbrt.f64 (-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 y t) a)) (*.f64 y b))) (cbrt.f64 (-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 y t) a)) (*.f64 y b)))) (*.f64 (cbrt.f64 (+.f64 x (+.f64 y t))) (cbrt.f64 (+.f64 x (+.f64 y t)))))
12.0ms
(cbrt.f64 (-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 y t) a)) (*.f64 y b)))
10.0ms
(cbrt.f64 (-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 y t) a)) (*.f64 y b)))
10.0ms
(cbrt.f64 (-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 y t) a)) (*.f64 y b)))

series3.3s (30%)

Counts
4 → 12
Calls

4 calls:

2.1s
(/.f64 (*.f64 (cbrt.f64 (-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 y t) a)) (*.f64 y b))) (cbrt.f64 (-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 y t) a)) (*.f64 y b)))) (*.f64 (cbrt.f64 (+.f64 x (+.f64 y t))) (cbrt.f64 (+.f64 x (+.f64 y t)))))
421.0ms
(cbrt.f64 (-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 y t) a)) (*.f64 y b)))
404.0ms
(cbrt.f64 (-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 y t) a)) (*.f64 y b)))
403.0ms
(cbrt.f64 (-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 y t) a)) (*.f64 y b)))

simplify72.0ms (0.7%)

Algorithm
1×egg-herbie
Counts
88 → 88
Iterations

Useful iterations: 0 (37.0ms)

IterNodesCost
050934110

prune141.0ms (1.3%)

Pruning

10 alts after pruning (8 fresh and 2 done)

PrunedKeptTotal
New88088
Fresh088
Picked011
Done011
Total881098
Error
8.5b
Counts
98 → 10
Compiler

Compiled 7364 to 618 computations (91.6% saved)

localize22.0ms (0.2%)

Local error

Found 4 expressions with local error:

1.5b
(+.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 y t) a)) (*.f64 y b))
2.5b
(-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 y t) a)) (*.f64 y b))
25.4b
(/.f64 (-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 y t) a)) (*.f64 y b)) (+.f64 x (+.f64 y t)))
36.3b
(/.f64 (*.f64 (+.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 y t) a)) (*.f64 y b)) (/.f64 (-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 y t) a)) (*.f64 y b)) (+.f64 x (+.f64 y t)))) (+.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a)) (*.f64 y b)))

rewrite91.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Rules
36×*-un-lft-identity_binary64_20879
18×times-frac_binary64_20885
16×add-sqr-sqrt_binary64_20901 add-cube-cbrt_binary64_20914
15×add-cbrt-cube_binary64_20915 add-exp-log_binary64_20917
14×add-log-exp_binary64_20918
12×distribute-lft-out_binary64_20830
8×associate-/r*_binary64_20823
7×associate-/l/_binary64_20826
5×div-exp_binary64_20930 cbrt-undiv_binary64_20913 flip3-+_binary64_20882 flip-+_binary64_20853
4×associate-/l*_binary64_20824 sum-log_binary64_20970 associate-/r/_binary64_20825 pow1_binary64_20940
2×flip3--_binary64_20883 flip--_binary64_20854 frac-2neg_binary64_20890 diff-log_binary64_20971 div-inv_binary64_20876 clear-num_binary64_20878 prod-exp_binary64_20928 cbrt-unprod_binary64_20912 associate-*l/_binary64_20822 frac-times_binary64_20889
1×associate--l+_binary64_20816 +-commutative_binary64_20809 associate-+l+_binary64_20812 cancel-sign-sub-inv_binary64_20845 sub-neg_binary64_20872 associate-*r/_binary64_20821 div-sub_binary64_20884
Counts
4 → 97
Calls

4 calls:

33.0ms
(/.f64 (*.f64 (+.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 y t) a)) (*.f64 y b)) (/.f64 (-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 y t) a)) (*.f64 y b)) (+.f64 x (+.f64 y t)))) (+.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a)) (*.f64 y b)))
20.0ms
(/.f64 (-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 y t) a)) (*.f64 y b)) (+.f64 x (+.f64 y t)))
11.0ms
(-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 y t) a)) (*.f64 y b))
11.0ms
(+.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 y t) a)) (*.f64 y b))

series1.4s (12.6%)

Counts
4 → 12
Calls

4 calls:

596.0ms
(/.f64 (*.f64 (+.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 y t) a)) (*.f64 y b)) (/.f64 (-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 y t) a)) (*.f64 y b)) (+.f64 x (+.f64 y t)))) (+.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a)) (*.f64 y b)))
582.0ms
(/.f64 (-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 y t) a)) (*.f64 y b)) (+.f64 x (+.f64 y t)))
118.0ms
(-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 y t) a)) (*.f64 y b))
107.0ms
(+.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 y t) a)) (*.f64 y b))

simplify85.0ms (0.8%)

Algorithm
1×egg-herbie
Counts
109 → 109
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
073404351

prune116.0ms (1%)

Pruning

10 alts after pruning (7 fresh and 3 done)

PrunedKeptTotal
New1090109
Fresh077
Picked011
Done022
Total10910119
Error
8.5b
Counts
119 → 10
Compiler

Compiled 6437 to 394 computations (93.9% saved)

regimes740.0ms (6.7%)

Accuracy

Total 9.5b remaining (52.5%)

Threshold costs 0b (0%)

Compiler

Compiled 6711 to 3681 computations (45.1% saved)

bsearch2.0ms (0%)

Compiler

Compiled 21 to 16 computations (23.8% saved)

simplify3.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
075114
175114

end0.0ms (0%)

sample1.2s (11.2%)

Algorithm
1×intervals
Results
439.0ms7999×body128valid
0.0ms1×body512valid
Compiler

Compiled 1131 to 587 computations (48.1% saved)

Profiling

Loading profile data...