Details

Time bar (total: 7.2s)

analyze1.1s (14.8%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0496891
1496891
044
144
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
16.4%83.4%0.2%9
21.4%78.4%0.2%10
25.9%73.3%0.8%11
28%70.2%1.9%12
39.6%55.8%4.6%13
43.9%50.4%5.8%14
Compiler

Compiled 10 to 9 computations (10% saved)

sample23.0ms (0.3%)

Algorithm
1×intervals
Results
8.0ms256×body128valid
2.0ms64×body128invalid
Compiler

Compiled 19 to 21 computations (-10.5% saved)

simplify56.0ms (0.8%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (51.0ms)

IterNodesCost
073413
173413

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
8.0b
Counts
2 → 1
Compiler

Compiled 18 to 16 computations (11.1% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite77.0ms (1.1%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
13×add-sqr-sqrt_binary64_12717 *-un-lft-identity_binary64_12695
10×add-exp-log_binary64_12733 add-cbrt-cube_binary64_12731
9×add-cube-cbrt_binary64_12730
6×cancel-sign-sub-inv_binary64_12661
5×pow1_binary64_12756 add-log-exp_binary64_12734 associate-*r*_binary64_12635
4×associate-*r/_binary64_12637 distribute-rgt-in_binary64_12645 distribute-lft-in_binary64_12644
3×times-frac_binary64_12701 associate-/r*_binary64_12639 associate-*l*_binary64_12636
2×prod-exp_binary64_12744 div-exp_binary64_12746 cbrt-undiv_binary64_12729 cbrt-unprod_binary64_12728 flip3--_binary64_12699 associate-/l/_binary64_12642 flip--_binary64_12670 sub-neg_binary64_12688
1×frac-2neg_binary64_12706 clear-num_binary64_12694 div-inv_binary64_12692 associate-/l*_binary64_12640 pow-prod-down_binary64_12766 unswap-sqr_binary64_12663 difference-of-squares_binary64_12664 distribute-lft-out--_binary64_12647 *-commutative_binary64_12626 sum-log_binary64_12786 flip3-+_binary64_12698 flip-+_binary64_12669 distribute-lft-out_binary64_12646 +-commutative_binary64_12625
Counts
3 → 65
Calls

3 calls:

8.0ms
(/.f64 (*.f64 y (-.f64 z x)) t)
8.0ms
(*.f64 y (-.f64 z x))
5.0ms
(+.f64 x (/.f64 (*.f64 y (-.f64 z x)) t))
Compiler

Compiled 1047 to 299 computations (71.4% saved)

series586.0ms (8.2%)

Error
0.2b
Counts
3 → 57
Calls

3 calls:

274.0ms
(+.f64 x (/.f64 (*.f64 y (-.f64 z x)) t))
186.0ms
(/.f64 (*.f64 y (-.f64 z x)) t)
94.0ms
(*.f64 y (-.f64 z x))
Compiler

Compiled 1493 to 861 computations (42.3% saved)

simplify60.0ms (0.8%)

Algorithm
1×egg-herbie
Counts
122 → 122
Iterations

Useful iterations: 0 (42.0ms)

IterNodesCost
050491318

prune83.0ms (1.2%)

Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New1148122
Fresh000
Picked011
Done000
Total1149123
Error
0.0b
Counts
123 → 9
Compiler

Compiled 1477 to 319 computations (78.4% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite167.0ms (2.3%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
138×times-frac_binary64_12701
105×*-un-lft-identity_binary64_12695
103×add-sqr-sqrt_binary64_12717
71×add-cube-cbrt_binary64_12730
26×associate-/r*_binary64_12639
16×difference-of-squares_binary64_12664 distribute-lft-out--_binary64_12647
11×associate-/r/_binary64_12641
10×add-exp-log_binary64_12733 add-cbrt-cube_binary64_12731
6×div-inv_binary64_12692 associate-/l*_binary64_12640
5×add-log-exp_binary64_12734 flip3--_binary64_12699 flip--_binary64_12670
4×div-exp_binary64_12746 cbrt-undiv_binary64_12729
3×pow1_binary64_12756
2×frac-2neg_binary64_12706 clear-num_binary64_12694
1×sum-log_binary64_12786 flip3-+_binary64_12698 flip-+_binary64_12669 distribute-lft-out_binary64_12646 +-commutative_binary64_12625
Counts
3 → 151
Calls

3 calls:

22.0ms
(+.f64 x (/.f64 y (/.f64 t (-.f64 z x))))
10.0ms
(/.f64 y (/.f64 t (-.f64 z x)))
6.0ms
(/.f64 t (-.f64 z x))
Compiler

Compiled 2965 to 744 computations (74.9% saved)

series627.0ms (8.7%)

Error
0.0b
Counts
3 → 60
Calls

3 calls:

285.0ms
(+.f64 x (/.f64 y (/.f64 t (-.f64 z x))))
210.0ms
(/.f64 y (/.f64 t (-.f64 z x)))
104.0ms
(/.f64 t (-.f64 z x))
Compiler

Compiled 1814 to 1110 computations (38.8% saved)

simplify99.0ms (1.4%)

Algorithm
1×egg-herbie
Counts
211 → 211
Iterations

Useful iterations: 0 (60.0ms)

IterNodesCost
049473660
149473660

prune135.0ms (1.9%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New2083211
Fresh617
Picked011
Done011
Total2146220
Error
0.0b
Counts
220 → 6
Compiler

Compiled 3304 to 644 computations (80.5% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite605.0ms (8.4%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
696×times-frac_binary64_12701
387×*-un-lft-identity_binary64_12695
385×add-sqr-sqrt_binary64_12717
293×add-cube-cbrt_binary64_12730
46×difference-of-squares_binary64_12664 distribute-lft-out--_binary64_12647
38×div-inv_binary64_12692
31×associate-/r/_binary64_12641
29×add-exp-log_binary64_12733
26×associate-/r*_binary64_12639
18×div-exp_binary64_12746
17×add-cbrt-cube_binary64_12731
16×associate-/l*_binary64_12640
15×flip3--_binary64_12699 flip--_binary64_12670
9×cbrt-undiv_binary64_12729
5×add-log-exp_binary64_12734
4×pow1_binary64_12756
3×1-exp_binary64_12739 rec-exp_binary64_12745
2×frac-2neg_binary64_12706 clear-num_binary64_12694
1×associate-/l/_binary64_12642 inv-pow_binary64_12780 pow-flip_binary64_12769 sum-log_binary64_12786 flip3-+_binary64_12698 flip-+_binary64_12669 distribute-lft-out_binary64_12646 +-commutative_binary64_12625
Counts
3 → 384
Calls

3 calls:

73.0ms
(+.f64 x (/.f64 (/.f64 y t) (/.f64 1 (-.f64 z x))))
18.0ms
(/.f64 (/.f64 y t) (/.f64 1 (-.f64 z x)))
6.0ms
(/.f64 1 (-.f64 z x))
Compiler

Compiled 9857 to 4037 computations (59% saved)

series544.0ms (7.6%)

Error
0.0b
Counts
3 → 57
Calls

3 calls:

266.0ms
(+.f64 x (/.f64 (/.f64 y t) (/.f64 1 (-.f64 z x))))
192.0ms
(/.f64 (/.f64 y t) (/.f64 1 (-.f64 z x)))
57.0ms
(/.f64 1 (-.f64 z x))
Compiler

Compiled 1715 to 1089 computations (36.5% saved)

simplify166.0ms (2.3%)

Algorithm
1×egg-herbie
Counts
441 → 441
Iterations

Useful iterations: 0 (68.0ms)

IterNodesCost
0496610972
1496610972

prune337.0ms (4.7%)

Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New4410441
Fresh033
Picked011
Done022
Total4416447
Error
0.0b
Counts
447 → 6
Compiler

Compiled 8847 to 2298 computations (74% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite84.0ms (1.2%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
42×add-sqr-sqrt_binary64_12717
37×*-un-lft-identity_binary64_12695
31×times-frac_binary64_12701
23×add-cube-cbrt_binary64_12730
19×associate-*r*_binary64_12635
10×add-exp-log_binary64_12733 add-cbrt-cube_binary64_12731
7×difference-of-squares_binary64_12664 distribute-lft-out--_binary64_12647
5×pow1_binary64_12756 add-log-exp_binary64_12734 associate-/l*_binary64_12640
3×associate-*l*_binary64_12636 associate-/r*_binary64_12639
2×div-exp_binary64_12746 prod-exp_binary64_12744 cbrt-unprod_binary64_12728 cbrt-undiv_binary64_12729 unswap-sqr_binary64_12663 div-inv_binary64_12692 associate-/l/_binary64_12642
1×pow-prod-down_binary64_12766 associate-*r/_binary64_12637 *-commutative_binary64_12626 sum-log_binary64_12786 flip3-+_binary64_12698 flip-+_binary64_12669 +-commutative_binary64_12625 frac-2neg_binary64_12706 div-sub_binary64_12700 clear-num_binary64_12694 flip3--_binary64_12699 flip--_binary64_12670
Counts
3 → 87
Calls

3 calls:

12.0ms
(*.f64 y (/.f64 (-.f64 z x) t))
6.0ms
(/.f64 (-.f64 z x) t)
3.0ms
(+.f64 x (*.f64 y (/.f64 (-.f64 z x) t)))
Compiler

Compiled 1505 to 390 computations (74.1% saved)

series626.0ms (8.7%)

Error
0.0b
Counts
3 → 57
Calls

3 calls:

287.0ms
(+.f64 x (*.f64 y (/.f64 (-.f64 z x) t)))
199.0ms
(*.f64 y (/.f64 (-.f64 z x) t))
113.0ms
(/.f64 (-.f64 z x) t)
Compiler

Compiled 1499 to 877 computations (41.5% saved)

simplify64.0ms (0.9%)

Algorithm
1×egg-herbie
Counts
144 → 144
Iterations

Useful iterations: 0 (43.0ms)

IterNodesCost
050131752

prune75.0ms (1%)

Pruning

6 alts after pruning (2 fresh and 4 done)

PrunedKeptTotal
New1440144
Fresh022
Picked011
Done033
Total1446150
Error
0.0b
Counts
150 → 6
Compiler

Compiled 1820 to 334 computations (81.6% saved)

regimes430.0ms (6%)

Accuracy

Total 1.3b remaining (99.8%)

Threshold costs 0b (0%)

Compiler

Compiled 2651 to 2093 computations (21% saved)

bsearch3.0ms (0%)

Compiler

Compiled 9 to 8 computations (11.1% saved)

simplify3.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03664
13664

end0.0ms (0%)

sample1.2s (17.3%)

Algorithm
1×intervals
Results
260.0ms8000×body128valid
66.0ms2060×body128invalid
Compiler

Compiled 592 to 450 computations (24% saved)

Profiling

Loading profile data...