Details

Time bar (total: 3.5s)

analyze452.0ms (13%)

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
0%99.8%0.2%8
49.1%50.7%0.2%9
49.5%50.3%0.2%10
49.7%50.1%0.2%11
50.2%49.6%0.2%12
60.5%39.3%0.2%13
60.6%37.9%1.4%14
Compiler

Compiled 10 to 10 computations (0% saved)

sample22.0ms (0.6%)

Algorithm
1×intervals
Results
8.0ms256×body128valid
3.0ms88×body128invalid
Compiler

Compiled 19 to 23 computations (-21.1% saved)

simplify294.0ms (8.4%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (132.0ms)

IterNodesCost
0171513
1171513

prune2.0ms (0.1%)

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 18 to 18 computations (0% saved)

localize7.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

rewrite13.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
13×*-un-lft-identity_binary64_751
7×add-sqr-sqrt_binary64_772
6×times-frac_binary64_757 add-cbrt-cube_binary64_784 add-exp-log_binary64_786 associate-/l*_binary64_698
4×distribute-lft-out--_binary64_705
3×add-cube-cbrt_binary64_783
2×distribute-lft-out_binary64_704 associate-/l/_binary64_700 cbrt-undiv_binary64_782 difference-of-squares_binary64_720 div-exp_binary64_799
1×prod-exp_binary64_797 div-sub_binary64_756 associate-/r*_binary64_697 pow1_binary64_809 add-log-exp_binary64_787 flip--_binary64_726 div-inv_binary64_748 frac-2neg_binary64_762 cbrt-unprod_binary64_781 clear-num_binary64_750 flip3--_binary64_755
Counts
1 → 30
Calls

1 calls:

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

series74.0ms (2.1%)

Counts
1 → 3
Calls

1 calls:

74.0ms
(/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))

simplify47.0ms (1.3%)

Algorithm
1×egg-herbie
Counts
33 → 33
Iterations

Useful iterations: 0 (37.0ms)

IterNodesCost
05042513

prune29.0ms (0.8%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New30333
Fresh000
Picked011
Done000
Total30434

Merged error: 0b

Counts
34 → 4
Compiler

Compiled 493 to 219 computations (55.6% saved)

localize8.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

rewrite28.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Rules
41×add-sqr-sqrt_binary64_772
35×*-un-lft-identity_binary64_751
34×times-frac_binary64_757
23×add-exp-log_binary64_786
22×associate-*r*_binary64_693
18×add-cube-cbrt_binary64_783
13×add-cbrt-cube_binary64_784 associate-*l*_binary64_694
8×prod-exp_binary64_797 div-exp_binary64_799
6×distribute-lft-out--_binary64_705 unswap-sqr_binary64_719
4×cbrt-undiv_binary64_782 cbrt-unprod_binary64_781
3×distribute-lft-out_binary64_704 pow1_binary64_809 difference-of-squares_binary64_720
2×1-exp_binary64_792 rec-exp_binary64_798 div-inv_binary64_748
1×frac-times_binary64_761 add-log-exp_binary64_787 pow-prod-down_binary64_819 *-commutative_binary64_684 associate-*r/_binary64_695 associate-*l/_binary64_696
Counts
1 → 65
Calls

1 calls:

21.0ms
(*.f64 (/.f64 1 t) (/.f64 (-.f64 (+.f64 x y) z) 2))

series99.0ms (2.8%)

Counts
1 → 3
Calls

1 calls:

99.0ms
(*.f64 (/.f64 1 t) (/.f64 (-.f64 (+.f64 x y) z) 2))

simplify69.0ms (2%)

Algorithm
1×egg-herbie
Counts
68 → 68
Iterations

Useful iterations: 0 (53.0ms)

IterNodesCost
066711154

prune55.0ms (1.6%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New67168
Fresh112
Picked011
Done011
Total68472

Merged error: 0b

Counts
72 → 4
Compiler

Compiled 1139 to 542 computations (52.4% saved)

localize8.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

rewrite110.0ms (3.2%)

Algorithm
1×rewrite-expression-head
Rules
831×times-frac_binary64_757
589×*-un-lft-identity_binary64_751
445×add-sqr-sqrt_binary64_772
349×add-cube-cbrt_binary64_783
96×distribute-lft-out--_binary64_705
93×associate-/r*_binary64_697
48×distribute-lft-out_binary64_704 difference-of-squares_binary64_720
28×add-exp-log_binary64_786
22×div-inv_binary64_748
18×div-exp_binary64_799
16×add-cbrt-cube_binary64_784
9×cbrt-undiv_binary64_782
6×associate-/r/_binary64_699 associate-/l*_binary64_698
3×1-exp_binary64_792 rec-exp_binary64_798 pow1_binary64_809
2×add-log-exp_binary64_787 frac-2neg_binary64_762 clear-num_binary64_750
1×inv-pow_binary64_833 pow-flip_binary64_822
Counts
2 → 418
Calls

2 calls:

26.0ms
(/.f64 1 (/.f64 t (/.f64 (-.f64 (+.f64 x y) z) 2)))
13.0ms
(/.f64 t (/.f64 (-.f64 (+.f64 x y) z) 2))

series219.0ms (6.3%)

Counts
2 → 6
Calls

2 calls:

126.0ms
(/.f64 t (/.f64 (-.f64 (+.f64 x y) z) 2))
93.0ms
(/.f64 1 (/.f64 t (/.f64 (-.f64 (+.f64 x y) z) 2)))

simplify151.0ms (4.3%)

Algorithm
1×egg-herbie
Counts
424 → 424
Iterations

Useful iterations: 0 (47.0ms)

IterNodesCost
0501612305

prune489.0ms (14%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New4231424
Fresh101
Picked101
Done112
Total4262428

Merged error: 0b

Counts
428 → 2
Compiler

Compiled 9543 to 4205 computations (55.9% saved)

localize8.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

rewrite56.0ms (1.6%)

Algorithm
1×rewrite-expression-head
Rules
62×*-un-lft-identity_binary64_751
46×add-sqr-sqrt_binary64_772
40×times-frac_binary64_757
31×add-exp-log_binary64_786
27×add-cube-cbrt_binary64_783
24×associate-*r*_binary64_693
19×add-cbrt-cube_binary64_784
14×distribute-lft-out--_binary64_705
11×div-exp_binary64_799
8×prod-exp_binary64_797 pow1_binary64_809
7×distribute-lft-out_binary64_704 associate-/r*_binary64_697 difference-of-squares_binary64_720
6×cbrt-undiv_binary64_782 associate-/l*_binary64_698
5×associate-/r/_binary64_699
4×cbrt-unprod_binary64_781
3×1-exp_binary64_792 rec-exp_binary64_798 add-log-exp_binary64_787 div-inv_binary64_748 associate-*l*_binary64_694
2×unswap-sqr_binary64_719 flip--_binary64_726 pow-prod-down_binary64_819 associate-*r/_binary64_695 frac-2neg_binary64_762 clear-num_binary64_750 flip3--_binary64_755 pow-flip_binary64_822
1×inv-pow_binary64_833 *-commutative_binary64_684
Counts
3 → 117
Calls

3 calls:

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

series297.0ms (8.5%)

Counts
3 → 9
Calls

3 calls:

116.0ms
(*.f64 t (/.f64 2 (-.f64 (+.f64 x y) z)))
97.0ms
(/.f64 2 (-.f64 (+.f64 x y) z))
84.0ms
(/.f64 1 (*.f64 t (/.f64 2 (-.f64 (+.f64 x y) z))))

simplify71.0ms (2%)

Algorithm
1×egg-herbie
Counts
126 → 126
Iterations

Useful iterations: 0 (49.0ms)

IterNodesCost
065941863

prune93.0ms (2.7%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1260126
Fresh000
Picked011
Done011
Total1262128

Merged error: 0b

Counts
128 → 2
Compiler

Compiled 2027 to 946 computations (53.3% saved)

regimes70.0ms (2%)

Compiler

Compiled 208 to 244 computations (-17.3% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02213
12213

end0.0ms (0%)

sample710.0ms (20.4%)

Algorithm
1×intervals
Results
262.0ms8000×body128valid
98.0ms2887×body128invalid
Compiler

Compiled 39 to 43 computations (-10.3% saved)

Profiling

Loading profile data...