Details

Time bar (total: 5.9min)

analyze533.0ms (0.2%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
50%50%0%3
50%50%0%4
50%50%0%5
50%50%0%6
50%50%0%7
50%50%0%8
50%50%0%9
50%50%0%10
50%50%0%11
50%49.9%0%12
99.6%0.3%0%13
99.9%0%0%14
Compiler

Compiled 52 to 45 computations (13.5% saved)

sample37.0ms (0%)

Algorithm
1×intervals
Results
30.0ms256×body128valid
Compiler

Compiled 103 to 90 computations (12.6% saved)

simplify156.0ms (0%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (58.0ms)

IterNodesCost
0510746

prune4.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 31 to 28 computations (9.7% saved)

localize11.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(/.f64 (+.f64 (*.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4)) 5) (+.f64 (*.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4)) 6))
0.0b
(+.f64 (*.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4)) 5)
0.0b
(+.f64 (/.f64 2 (+.f64 1 t)) -4)
0.0b
(+.f64 (/.f64 2 (+.f64 1 t)) -4)
0.0b
(/.f64 2 (+.f64 1 t))
0.0b
(/.f64 2 (+.f64 1 t))
0.0b
(*.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4))
0.0b
(*.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4))

rewrite73.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
72×*-un-lft-identity_binary64_760
50×times-frac_binary64_766 add-sqr-sqrt_binary64_782
40×add-cube-cbrt_binary64_795
36×associate-*l*_binary64_701
18×add-exp-log_binary64_798 add-cbrt-cube_binary64_796
16×distribute-lft-out_binary64_711
8×associate-/r/_binary64_706 flip3-+_binary64_763 associate-/r*_binary64_704 flip-+_binary64_734 associate-*r*_binary64_700 pow1_binary64_821
6×associate-/l*_binary64_705
4×unswap-sqr_binary64_728 cbrt-undiv_binary64_794 prod-exp_binary64_809 add-log-exp_binary64_799 div-inv_binary64_757 frac-times_binary64_770 associate-*r/_binary64_702 cbrt-unprod_binary64_793 div-exp_binary64_811
2×frac-2neg_binary64_771 associate-*l/_binary64_703 distribute-lft-in_binary64_709 distribute-rgt-in_binary64_710 clear-num_binary64_759 pow-prod-down_binary64_831 *-commutative_binary64_691
Counts
4 → 154
Calls

8 calls:

24.0ms
(*.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4))
20.0ms
(*.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4))
5.0ms
(/.f64 2 (+.f64 1 t))
5.0ms
(/.f64 2 (+.f64 1 t))
0.0ms
(+.f64 (/.f64 2 (+.f64 1 t)) -4)

series182.0ms (0.1%)

Counts
4 → 48
Calls

4 calls:

56.0ms
(*.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4))
48.0ms
(*.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4))
41.0ms
(/.f64 2 (+.f64 1 t))
38.0ms
(/.f64 2 (+.f64 1 t))
Compiler

Compiled 1732 to 1556 computations (10.2% saved)

simplify94.0ms (0%)

Algorithm
1×egg-herbie
Counts
202 → 202
Iterations

Useful iterations: 0 (57.0ms)

IterNodesCost
049623402
149623402

localize14.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))
0.0b
(/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))
0.0b
(/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))
0.0b
(/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))
2.6b
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
2.6b
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
2.6b
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
2.6b
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))

rewrite215.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
452×times-frac_binary64_766
364×*-un-lft-identity_binary64_760
284×cancel-sign-sub-inv_binary64_726
236×add-sqr-sqrt_binary64_782
200×add-cube-cbrt_binary64_795
104×distribute-lft-out_binary64_711
76×div-inv_binary64_757
12×add-log-exp_binary64_799 difference-of-squares_binary64_729
8×associate-/r/_binary64_706
4×diff-log_binary64_852 flip3-+_binary64_763 add-exp-log_binary64_798 flip-+_binary64_734 add-cbrt-cube_binary64_796 distribute-lft-out--_binary64_712 pow1_binary64_821 sub-neg_binary64_753 flip--_binary64_735 flip3--_binary64_764
Counts
4 → 344
Calls

8 calls:

38.0ms
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
36.0ms
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
31.0ms
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
30.0ms
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
0.0ms
(/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))

series198.0ms (0.1%)

Counts
4 → 48
Calls

4 calls:

51.0ms
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
50.0ms
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
49.0ms
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
48.0ms
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
Compiler

Compiled 2480 to 2152 computations (13.2% saved)

simplify132.0ms (0%)

Algorithm
1×egg-herbie
Counts
392 → 392
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
049509212
149509212

prune6.2s (1.7%)

Pruning

99 alts after pruning (97 fresh and 2 done)

PrunedKeptTotal
New49797594
Fresh000
Picked000
Done022
Total49799596
Error
0b
Counts
596 → 99
Compiler

Compiled 20721 to 17488 computations (15.6% saved)

localize31.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(/.f64 (+.f64 1 (*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))) (+.f64 2 (*.f64 (+.f64 2 (/.f64 (/.f64 -2 (*.f64 (cbrt.f64 (+.f64 1 (/.f64 1 t))) (cbrt.f64 t))) (*.f64 (*.f64 (cbrt.f64 (+.f64 1 (/.f64 1 t))) (cbrt.f64 (+.f64 1 (/.f64 1 t)))) (*.f64 (cbrt.f64 t) (cbrt.f64 t))))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))))
0.0b
(/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))
0.0b
(/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))
0.0b
(/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))
2.6b
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
2.6b
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
2.6b
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
22.5b
(+.f64 2 (/.f64 (/.f64 -2 (*.f64 (cbrt.f64 (+.f64 1 (/.f64 1 t))) (cbrt.f64 t))) (*.f64 (*.f64 (cbrt.f64 (+.f64 1 (/.f64 1 t))) (cbrt.f64 (+.f64 1 (/.f64 1 t)))) (*.f64 (cbrt.f64 t) (cbrt.f64 t)))))

rewrite187.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
339×times-frac_binary64_766
276×*-un-lft-identity_binary64_760
213×cancel-sign-sub-inv_binary64_726
178×add-sqr-sqrt_binary64_782
151×add-cube-cbrt_binary64_795
79×distribute-lft-out_binary64_711
57×div-inv_binary64_757
12×add-log-exp_binary64_799
9×difference-of-squares_binary64_729
6×associate-/r/_binary64_706
4×flip3-+_binary64_763 add-exp-log_binary64_798 flip-+_binary64_734 add-cbrt-cube_binary64_796 pow1_binary64_821
3×diff-log_binary64_852 distribute-lft-out--_binary64_712 sub-neg_binary64_753 flip--_binary64_735 flip3--_binary64_764
1×+-commutative_binary64_690 sum-log_binary64_851
Counts
4 → 270
Calls

8 calls:

36.0ms
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
31.0ms
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
31.0ms
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
14.0ms
(+.f64 2 (/.f64 (/.f64 -2 (*.f64 (cbrt.f64 (+.f64 1 (/.f64 1 t))) (cbrt.f64 t))) (*.f64 (*.f64 (cbrt.f64 (+.f64 1 (/.f64 1 t))) (cbrt.f64 (+.f64 1 (/.f64 1 t)))) (*.f64 (cbrt.f64 t) (cbrt.f64 t)))))
0.0ms
(/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))

series273.0ms (0.1%)

Counts
4 → 48
Calls

4 calls:

90.0ms
(+.f64 2 (/.f64 (/.f64 -2 (*.f64 (cbrt.f64 (+.f64 1 (/.f64 1 t))) (cbrt.f64 t))) (*.f64 (*.f64 (cbrt.f64 (+.f64 1 (/.f64 1 t))) (cbrt.f64 (+.f64 1 (/.f64 1 t)))) (*.f64 (cbrt.f64 t) (cbrt.f64 t)))))
62.0ms
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
61.0ms
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
60.0ms
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
Compiler

Compiled 3302 to 2758 computations (16.5% saved)

simplify120.0ms (0%)

Algorithm
1×egg-herbie
Counts
318 → 318
Iterations

Useful iterations: 0 (49.0ms)

IterNodesCost
049777196
149777196

localize10.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(/.f64 2 (+.f64 1 t))
0.0b
(/.f64 2 (+.f64 1 t))
0.0b
(+.f64 (*.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4)) 5)
0.0b
(+.f64 (/.f64 2 (+.f64 1 t)) -4)
0.0b
(+.f64 (/.f64 2 (+.f64 1 t)) -4)
0.0b
(/.f64 2 (+.f64 1 t))
0.0b
(/.f64 2 (+.f64 1 t))
0.0b
(*.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4))

rewrite55.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
57×*-un-lft-identity_binary64_760
37×times-frac_binary64_766
36×add-sqr-sqrt_binary64_782
31×add-cube-cbrt_binary64_795
18×associate-*l*_binary64_701
13×distribute-lft-out_binary64_711 add-exp-log_binary64_798 add-cbrt-cube_binary64_796
8×associate-/r*_binary64_704
6×associate-/r/_binary64_706 flip3-+_binary64_763 add-log-exp_binary64_799 flip-+_binary64_734 associate-/l*_binary64_705 pow1_binary64_821
4×associate-*r*_binary64_700
3×cbrt-undiv_binary64_794 div-inv_binary64_757 div-exp_binary64_811
2×unswap-sqr_binary64_728 frac-2neg_binary64_771 prod-exp_binary64_809 frac-times_binary64_770 associate-*r/_binary64_702 cbrt-unprod_binary64_793 clear-num_binary64_759
1×associate-*l/_binary64_703 distribute-lft-in_binary64_709 distribute-rgt-in_binary64_710 +-commutative_binary64_690 sum-log_binary64_851 pow-prod-down_binary64_831 *-commutative_binary64_691
Counts
4 → 122
Calls

8 calls:

23.0ms
(*.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4))
10.0ms
(+.f64 (/.f64 2 (+.f64 1 t)) -4)
5.0ms
(/.f64 2 (+.f64 1 t))
5.0ms
(/.f64 2 (+.f64 1 t))
0.0ms
(+.f64 (/.f64 2 (+.f64 1 t)) -4)

series95.0ms (0%)

Counts
4 → 23
Calls

4 calls:

31.0ms
(/.f64 2 (+.f64 1 t))
26.0ms
(*.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4))
19.0ms
(+.f64 (/.f64 2 (+.f64 1 t)) -4)
19.0ms
(/.f64 2 (+.f64 1 t))
Compiler

Compiled 728 to 684 computations (6% saved)

simplify77.0ms (0%)

Algorithm
1×egg-herbie
Counts
145 → 145
Iterations

Useful iterations: 0 (53.0ms)

IterNodesCost
049672069
149672069

localize24.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(/.f64 2 (+.f64 1 t))
0.0b
(/.f64 2 (+.f64 1 t))
0.0b
(+.f64 (*.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4)) 5)
0.0b
(+.f64 (/.f64 2 (+.f64 1 t)) -4)
0.1b
(*.f64 12 (pow.f64 t 4))
0.1b
(*.f64 (*.f64 t t) (-.f64 4 (*.f64 8 t)))
0.1b
(/.f64 (+.f64 (*.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4)) 5) (+.f64 (+.f64 (+.f64 -4 (*.f64 (*.f64 t t) (-.f64 4 (*.f64 8 t)))) (*.f64 12 (pow.f64 t 4))) 6))
5.8b
(+.f64 (+.f64 -4 (*.f64 (*.f64 t t) (-.f64 4 (*.f64 8 t)))) (*.f64 12 (pow.f64 t 4)))

rewrite66.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
25×*-un-lft-identity_binary64_760
23×add-sqr-sqrt_binary64_782
17×add-cube-cbrt_binary64_795
16×add-exp-log_binary64_798
13×add-cbrt-cube_binary64_796
12×times-frac_binary64_766
10×associate-*r*_binary64_700
9×add-log-exp_binary64_799 pow1_binary64_821
6×prod-exp_binary64_809
4×unswap-sqr_binary64_728 distribute-lft-out_binary64_711 associate-/r*_binary64_704 associate-*l*_binary64_701 cbrt-unprod_binary64_793 unpow-prod-down_binary64_839
3×flip3-+_binary64_763 flip-+_binary64_734 associate-/l*_binary64_705 sum-log_binary64_851 pow-prod-down_binary64_831
2×associate-/r/_binary64_706 associate-/l/_binary64_707 cancel-sign-sub-inv_binary64_726 distribute-lft-in_binary64_709 distribute-rgt-in_binary64_710 associate-*r/_binary64_702 sqr-pow_binary64_732 sub-neg_binary64_753 *-commutative_binary64_691
1×frac-2neg_binary64_771 cbrt-undiv_binary64_794 pow-exp_binary64_828 associate-+l+_binary64_693 div-inv_binary64_757 pow-to-exp_binary64_829 +-commutative_binary64_690 div-exp_binary64_811 clear-num_binary64_759 flip--_binary64_735 flip3--_binary64_764
Counts
4 → 98
Calls

8 calls:

31.0ms
(/.f64 (+.f64 (*.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4)) 5) (+.f64 (+.f64 (+.f64 -4 (*.f64 (*.f64 t t) (-.f64 4 (*.f64 8 t)))) (*.f64 12 (pow.f64 t 4))) 6))
9.0ms
(*.f64 (*.f64 t t) (-.f64 4 (*.f64 8 t)))
7.0ms
(+.f64 (+.f64 -4 (*.f64 (*.f64 t t) (-.f64 4 (*.f64 8 t)))) (*.f64 12 (pow.f64 t 4)))
6.0ms
(*.f64 12 (pow.f64 t 4))
0.0ms
(+.f64 (/.f64 2 (+.f64 1 t)) -4)

series374.0ms (0.1%)

Counts
4 → 21
Calls

4 calls:

242.0ms
(+.f64 (+.f64 -4 (*.f64 (*.f64 t t) (-.f64 4 (*.f64 8 t)))) (*.f64 12 (pow.f64 t 4)))
58.0ms
(*.f64 (*.f64 t t) (-.f64 4 (*.f64 8 t)))
37.0ms
(*.f64 12 (pow.f64 t 4))
37.0ms
(/.f64 (+.f64 (*.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4)) 5) (+.f64 (+.f64 (+.f64 -4 (*.f64 (*.f64 t t) (-.f64 4 (*.f64 8 t)))) (*.f64 12 (pow.f64 t 4))) 6))
Compiler

Compiled 813 to 726 computations (10.7% saved)

simplify76.0ms (0%)

Algorithm
1×egg-herbie
Counts
119 → 119
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
050723523

localize14.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(+.f64 (*.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4)) 5)
0.0b
(+.f64 (/.f64 2 (+.f64 1 t)) -4)
0.0b
(+.f64 (/.f64 2 (+.f64 1 t)) -4)
0.0b
(+.f64 (/.f64 2 (+.f64 1 t)) -4)
0.0b
(/.f64 2 (+.f64 1 t))
0.0b
(/.f64 2 (+.f64 1 t))
0.0b
(/.f64 2 (+.f64 1 t))
0.0b
(*.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4))

rewrite64.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
72×*-un-lft-identity_binary64_760
49×times-frac_binary64_766
45×add-sqr-sqrt_binary64_782
40×add-cube-cbrt_binary64_795
18×associate-*l*_binary64_701
16×distribute-lft-out_binary64_711
15×add-exp-log_binary64_798 add-cbrt-cube_binary64_796
12×associate-/r*_binary64_704
9×associate-/l*_binary64_705
8×associate-/r/_binary64_706
6×flip3-+_binary64_763 flip-+_binary64_734 pow1_binary64_821
4×cbrt-undiv_binary64_794 add-log-exp_binary64_799 div-inv_binary64_757 associate-*r*_binary64_700 div-exp_binary64_811
3×frac-2neg_binary64_771 clear-num_binary64_759
2×unswap-sqr_binary64_728 prod-exp_binary64_809 frac-times_binary64_770 associate-*r/_binary64_702 cbrt-unprod_binary64_793
1×associate-*l/_binary64_703 distribute-lft-in_binary64_709 distribute-rgt-in_binary64_710 pow-prod-down_binary64_831 *-commutative_binary64_691
Counts
4 → 143
Calls

8 calls:

26.0ms
(*.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4))
6.0ms
(/.f64 2 (+.f64 1 t))
6.0ms
(/.f64 2 (+.f64 1 t))
6.0ms
(/.f64 2 (+.f64 1 t))
0.0ms
(+.f64 (/.f64 2 (+.f64 1 t)) -4)

series77.0ms (0%)

Counts
4 → 12
Calls

4 calls:

22.0ms
(*.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4))
21.0ms
(/.f64 2 (+.f64 1 t))
18.0ms
(/.f64 2 (+.f64 1 t))
17.0ms
(/.f64 2 (+.f64 1 t))
Compiler

Compiled 970 to 876 computations (9.7% saved)

simplify69.0ms (0%)

Algorithm
1×egg-herbie
Counts
155 → 155
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
051502201

localize23.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))
0.0b
(/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))
0.0b
(/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))
0.0b
(/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))
2.6b
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
2.6b
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
2.6b
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
2.6b
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))

rewrite232.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
452×times-frac_binary64_766
364×*-un-lft-identity_binary64_760
284×cancel-sign-sub-inv_binary64_726
236×add-sqr-sqrt_binary64_782
200×add-cube-cbrt_binary64_795
104×distribute-lft-out_binary64_711
76×div-inv_binary64_757
12×add-log-exp_binary64_799 difference-of-squares_binary64_729
8×associate-/r/_binary64_706
4×diff-log_binary64_852 flip3-+_binary64_763 add-exp-log_binary64_798 flip-+_binary64_734 add-cbrt-cube_binary64_796 distribute-lft-out--_binary64_712 pow1_binary64_821 sub-neg_binary64_753 flip--_binary64_735 flip3--_binary64_764
Counts
4 → 344
Calls

8 calls:

35.0ms
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
33.0ms
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
32.0ms
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
32.0ms
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
0.0ms
(/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))

series244.0ms (0.1%)

Counts
4 → 48
Calls

4 calls:

63.0ms
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
62.0ms
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
61.0ms
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
58.0ms
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
Compiler

Compiled 3776 to 3256 computations (13.8% saved)

simplify133.0ms (0%)

Algorithm
1×egg-herbie
Counts
392 → 392
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
049509212
149509212

prune38.3s (10.8%)

Pruning

310 alts after pruning (303 fresh and 7 done)

PrunedKeptTotal
New9072221129
Fresh118192
Picked000
Done077
Total9183101228
Error
0b
Counts
1228 → 310
Compiler

Compiled 55560 to 46250 computations (16.8% saved)

localize25.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(/.f64 (+.f64 1 (*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))) (+.f64 2 (*.f64 (+.f64 2 (/.f64 (/.f64 -2 (*.f64 (+.f64 1 (/.f64 1 t)) (cbrt.f64 t))) (*.f64 (cbrt.f64 t) (cbrt.f64 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))))
0.0b
(/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))
0.0b
(/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))
0.0b
(/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))
2.6b
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
2.6b
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
2.6b
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
22.0b
(+.f64 2 (/.f64 (/.f64 -2 (*.f64 (+.f64 1 (/.f64 1 t)) (cbrt.f64 t))) (*.f64 (cbrt.f64 t) (cbrt.f64 t))))

rewrite174.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
339×times-frac_binary64_766
276×*-un-lft-identity_binary64_760
213×cancel-sign-sub-inv_binary64_726
178×add-sqr-sqrt_binary64_782
151×add-cube-cbrt_binary64_795
79×distribute-lft-out_binary64_711
57×div-inv_binary64_757
12×add-log-exp_binary64_799
9×difference-of-squares_binary64_729
6×associate-/r/_binary64_706
4×flip3-+_binary64_763 add-exp-log_binary64_798 flip-+_binary64_734 add-cbrt-cube_binary64_796 pow1_binary64_821
3×diff-log_binary64_852 distribute-lft-out--_binary64_712 sub-neg_binary64_753 flip--_binary64_735 flip3--_binary64_764
1×+-commutative_binary64_690 sum-log_binary64_851
Counts
4 → 270
Calls

8 calls:

35.0ms
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
32.0ms
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
32.0ms
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
10.0ms
(+.f64 2 (/.f64 (/.f64 -2 (*.f64 (+.f64 1 (/.f64 1 t)) (cbrt.f64 t))) (*.f64 (cbrt.f64 t) (cbrt.f64 t))))
0.0ms
(/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))

series251.0ms (0.1%)

Counts
4 → 48
Calls

4 calls:

84.0ms
(+.f64 2 (/.f64 (/.f64 -2 (*.f64 (+.f64 1 (/.f64 1 t)) (cbrt.f64 t))) (*.f64 (cbrt.f64 t) (cbrt.f64 t))))
60.0ms
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
54.0ms
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
53.0ms
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
Compiler

Compiled 2762 to 2290 computations (17.1% saved)

simplify138.0ms (0%)

Algorithm
1×egg-herbie
Counts
318 → 318
Iterations

Useful iterations: 0 (63.0ms)

IterNodesCost
049257217
149257217

localize4.0ms (0%)

rewrite0.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms (0%)

Counts
0 → 0

simplify9.0ms (0%)

Algorithm
1×egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
000

localize14.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(+.f64 (*.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 (/.f64 2 (sqrt.f64 (+.f64 1 t))) (sqrt.f64 (+.f64 1 t))) -4)) 5)
0.0b
(+.f64 (/.f64 (/.f64 2 (sqrt.f64 (+.f64 1 t))) (sqrt.f64 (+.f64 1 t))) -4)
0.0b
(sqrt.f64 (+.f64 1 t))
0.0b
(sqrt.f64 (+.f64 1 t))
0.0b
(/.f64 2 (+.f64 1 t))
0.0b
(*.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 (/.f64 2 (sqrt.f64 (+.f64 1 t))) (sqrt.f64 (+.f64 1 t))) -4))
0.1b
(/.f64 2 (sqrt.f64 (+.f64 1 t)))
0.1b
(/.f64 (/.f64 2 (sqrt.f64 (+.f64 1 t))) (sqrt.f64 (+.f64 1 t)))

rewrite172.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
403×times-frac_binary64_766
334×*-un-lft-identity_binary64_760
224×sqrt-prod_binary64_776
211×add-sqr-sqrt_binary64_782
206×add-cube-cbrt_binary64_795
64×distribute-lft-out_binary64_711
33×associate-/l*_binary64_705
24×associate-/r/_binary64_706
20×sqrt-div_binary64_777
18×add-exp-log_binary64_798 associate-/r*_binary64_704 add-cbrt-cube_binary64_796 associate-*l*_binary64_701
14×flip3-+_binary64_763 flip-+_binary64_734
12×div-inv_binary64_757
6×cbrt-undiv_binary64_794 div-exp_binary64_811 pow1_binary64_821
4×add-log-exp_binary64_799 associate-*r*_binary64_700
3×frac-2neg_binary64_771 clear-num_binary64_759
2×unswap-sqr_binary64_728 prod-exp_binary64_809 frac-times_binary64_770 associate-*r/_binary64_702 cbrt-unprod_binary64_793
1×associate-*l/_binary64_703 associate-/l/_binary64_707 distribute-lft-in_binary64_709 distribute-rgt-in_binary64_710 pow-prod-down_binary64_831 *-commutative_binary64_691
Counts
4 → 362
Calls

8 calls:

79.0ms
(*.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 (/.f64 2 (sqrt.f64 (+.f64 1 t))) (sqrt.f64 (+.f64 1 t))) -4))
28.0ms
(/.f64 (/.f64 2 (sqrt.f64 (+.f64 1 t))) (sqrt.f64 (+.f64 1 t)))
7.0ms
(/.f64 2 (sqrt.f64 (+.f64 1 t)))
5.0ms
(/.f64 2 (+.f64 1 t))
0.0ms
(sqrt.f64 (+.f64 1 t))

series106.0ms (0%)

Counts
4 → 21
Calls

4 calls:

31.0ms
(/.f64 2 (+.f64 1 t))
27.0ms
(/.f64 (/.f64 2 (sqrt.f64 (+.f64 1 t))) (sqrt.f64 (+.f64 1 t)))
26.0ms
(*.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 (/.f64 2 (sqrt.f64 (+.f64 1 t))) (sqrt.f64 (+.f64 1 t))) -4))
22.0ms
(/.f64 2 (sqrt.f64 (+.f64 1 t)))
Compiler

Compiled 818 to 751 computations (8.2% saved)

simplify155.0ms (0%)

Algorithm
1×egg-herbie
Counts
383 → 383
Iterations

Useful iterations: 0 (64.0ms)

IterNodesCost
049249038
149249038

localize24.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))
0.0b
(/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))
0.0b
(/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))
0.0b
(/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))
2.6b
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
2.6b
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
2.6b
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
2.6b
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))

rewrite233.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
452×times-frac_binary64_766
364×*-un-lft-identity_binary64_760
284×cancel-sign-sub-inv_binary64_726
236×add-sqr-sqrt_binary64_782
200×add-cube-cbrt_binary64_795
104×distribute-lft-out_binary64_711
76×div-inv_binary64_757
12×add-log-exp_binary64_799 difference-of-squares_binary64_729
8×associate-/r/_binary64_706
4×diff-log_binary64_852 flip3-+_binary64_763 add-exp-log_binary64_798 flip-+_binary64_734 add-cbrt-cube_binary64_796 distribute-lft-out--_binary64_712 pow1_binary64_821 sub-neg_binary64_753 flip--_binary64_735 flip3--_binary64_764
Counts
4 → 344
Calls

8 calls:

40.0ms
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
37.0ms
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
32.0ms
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
31.0ms
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
0.0ms
(/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))

series131.0ms (0%)

Counts
4 → 16
Calls

4 calls:

37.0ms
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
32.0ms
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
31.0ms
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
31.0ms
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
Compiler

Compiled 1936 to 1624 computations (16.1% saved)

simplify132.0ms (0%)

Algorithm
1×egg-herbie
Counts
360 → 360
Iterations

Useful iterations: 0 (50.0ms)

IterNodesCost
050458964

localize17.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(+.f64 (/.f64 2 (+.f64 1 t)) -4)
0.0b
(+.f64 (/.f64 2 (+.f64 1 t)) -4)
0.0b
(+.f64 (/.f64 2 (+.f64 1 t)) -4)
0.0b
(+.f64 (/.f64 2 (+.f64 1 t)) -4)
0.0b
(/.f64 2 (+.f64 1 t))
0.0b
(/.f64 2 (+.f64 1 t))
0.0b
(sqrt.f64 (/.f64 2 (+.f64 1 t)))
0.0b
(sqrt.f64 (/.f64 2 (+.f64 1 t)))

rewrite48.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
66×*-un-lft-identity_binary64_760
50×times-frac_binary64_766
44×add-sqr-sqrt_binary64_782
38×add-cube-cbrt_binary64_795
36×sqrt-prod_binary64_776
14×distribute-lft-out_binary64_711
8×associate-/r/_binary64_706 add-exp-log_binary64_798 associate-/r*_binary64_704 add-cbrt-cube_binary64_796
6×associate-/l*_binary64_705 pow1_binary64_821
4×rem-sqrt-square_binary64_773 flip3-+_binary64_763 add-log-exp_binary64_799 div-inv_binary64_757 flip-+_binary64_734
2×frac-2neg_binary64_771 cbrt-undiv_binary64_794 sqrt-pow1_binary64_778 sqrt-div_binary64_777 pow1/2_binary64_840 div-exp_binary64_811 clear-num_binary64_759
Counts
4 → 126
Calls

8 calls:

9.0ms
(/.f64 2 (+.f64 1 t))
6.0ms
(sqrt.f64 (/.f64 2 (+.f64 1 t)))
6.0ms
(sqrt.f64 (/.f64 2 (+.f64 1 t)))
5.0ms
(/.f64 2 (+.f64 1 t))
0.0ms
(+.f64 (/.f64 2 (+.f64 1 t)) -4)

series115.0ms (0%)

Counts
4 → 12
Calls

4 calls:

38.0ms
(sqrt.f64 (/.f64 2 (+.f64 1 t)))
33.0ms
(sqrt.f64 (/.f64 2 (+.f64 1 t)))
23.0ms
(/.f64 2 (+.f64 1 t))
22.0ms
(/.f64 2 (+.f64 1 t))
Compiler

Compiled 1514 to 1354 computations (10.6% saved)

simplify83.0ms (0%)

Algorithm
1×egg-herbie
Counts
138 → 138
Iterations

Useful iterations: 0 (58.0ms)

IterNodesCost
055791828

prune1.1min (18.1%)

Pruning

476 alts after pruning (465 fresh and 11 done)

PrunedKeptTotal
New10121871199
Fresh20278298
Picked000
Done11112
Total10334761509
Error
0b
Counts
1509 → 476
Compiler

Compiled 61475 to 51133 computations (16.8% saved)

localize26.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(/.f64 (+.f64 1 (*.f64 (+.f64 2 (*.f64 (neg.f64 (/.f64 (sqrt.f64 2) (*.f64 (cbrt.f64 t) (cbrt.f64 t)))) (/.f64 (/.f64 (sqrt.f64 2) (cbrt.f64 t)) (+.f64 1 (/.f64 1 t))))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))) (+.f64 2 (*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))))
0.0b
(/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))
0.0b
(/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))
0.0b
(/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))
2.6b
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
2.6b
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
2.6b
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
20.3b
(+.f64 2 (*.f64 (neg.f64 (/.f64 (sqrt.f64 2) (*.f64 (cbrt.f64 t) (cbrt.f64 t)))) (/.f64 (/.f64 (sqrt.f64 2) (cbrt.f64 t)) (+.f64 1 (/.f64 1 t)))))

rewrite165.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
339×times-frac_binary64_766
274×*-un-lft-identity_binary64_760
213×cancel-sign-sub-inv_binary64_726
178×add-sqr-sqrt_binary64_782
151×add-cube-cbrt_binary64_795
78×distribute-lft-out_binary64_711
57×div-inv_binary64_757
12×add-log-exp_binary64_799
9×difference-of-squares_binary64_729
6×associate-/r/_binary64_706
4×flip3-+_binary64_763 add-exp-log_binary64_798 flip-+_binary64_734 add-cbrt-cube_binary64_796 pow1_binary64_821
3×diff-log_binary64_852 distribute-lft-out--_binary64_712 sub-neg_binary64_753 flip--_binary64_735 flip3--_binary64_764
1×unsub-neg_binary64_754 distribute-lft-neg-out_binary64_719 +-commutative_binary64_690 sum-log_binary64_851
Counts
4 → 270
Calls

8 calls:

34.0ms
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
33.0ms
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
31.0ms
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
4.0ms
(+.f64 2 (*.f64 (neg.f64 (/.f64 (sqrt.f64 2) (*.f64 (cbrt.f64 t) (cbrt.f64 t)))) (/.f64 (/.f64 (sqrt.f64 2) (cbrt.f64 t)) (+.f64 1 (/.f64 1 t)))))
0.0ms
(/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))

series281.0ms (0.1%)

Counts
4 → 48
Calls

4 calls:

112.0ms
(+.f64 2 (*.f64 (neg.f64 (/.f64 (sqrt.f64 2) (*.f64 (cbrt.f64 t) (cbrt.f64 t)))) (/.f64 (/.f64 (sqrt.f64 2) (cbrt.f64 t)) (+.f64 1 (/.f64 1 t)))))
57.0ms
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
56.0ms
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
55.0ms
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
Compiler

Compiled 2978 to 2510 computations (15.7% saved)

simplify143.0ms (0%)

Algorithm
1×egg-herbie
Counts
318 → 318
Iterations

Useful iterations: 0 (69.0ms)

IterNodesCost
049827944
149827944

localize4.0ms (0%)

rewrite0.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms (0%)

Counts
0 → 0

simplify7.0ms (0%)

Algorithm
1×egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
000

localize17.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(*.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 (/.f64 (*.f64 (cbrt.f64 2) (cbrt.f64 2)) 1) (/.f64 (+.f64 1 t) (cbrt.f64 2))) -4))
0.0b
(/.f64 2 (+.f64 1 t))
0.0b
(+.f64 (*.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 (/.f64 (*.f64 (cbrt.f64 2) (cbrt.f64 2)) 1) (/.f64 (+.f64 1 t) (cbrt.f64 2))) -4)) 5)
0.0b
(+.f64 (/.f64 (/.f64 (*.f64 (cbrt.f64 2) (cbrt.f64 2)) 1) (/.f64 (+.f64 1 t) (cbrt.f64 2))) -4)
0.5b
(/.f64 (+.f64 1 t) (cbrt.f64 2))
1.0b
(cbrt.f64 2)
1.0b
(cbrt.f64 2)
1.0b
(cbrt.f64 2)

rewrite19.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
38×*-un-lft-identity_binary64_760
24×add-cube-cbrt_binary64_795 cbrt-prod_binary64_791 times-frac_binary64_766 add-sqr-sqrt_binary64_782
7×distribute-lft-out_binary64_711
6×add-exp-log_binary64_798 associate-/r*_binary64_704
5×add-cbrt-cube_binary64_796
4×add-log-exp_binary64_799 associate-/l*_binary64_705 pow1_binary64_821
3×pow1/3_binary64_842
2×associate-/l/_binary64_707
1×frac-2neg_binary64_771 cbrt-undiv_binary64_794 flip3-+_binary64_763 div-inv_binary64_757 flip-+_binary64_734 div-exp_binary64_811 clear-num_binary64_759
Counts
4 → 81
Calls

8 calls:

7.0ms
(/.f64 (+.f64 1 t) (cbrt.f64 2))
1.0ms
(cbrt.f64 2)
1.0ms
(cbrt.f64 2)
1.0ms
(cbrt.f64 2)
0.0ms
(+.f64 (/.f64 (/.f64 (*.f64 (cbrt.f64 2) (cbrt.f64 2)) 1) (/.f64 (+.f64 1 t) (cbrt.f64 2))) -4)

series67.0ms (0%)

Counts
4 → 6
Calls

4 calls:

67.0ms
(/.f64 (+.f64 1 t) (cbrt.f64 2))
0.0ms
(cbrt.f64 2)
0.0ms
(cbrt.f64 2)
0.0ms
(cbrt.f64 2)
Compiler

Compiled 264 to 256 computations (3% saved)

simplify78.0ms (0%)

Algorithm
1×egg-herbie
Counts
87 → 87
Iterations

Useful iterations: 0 (61.0ms)

IterNodesCost
048821103
148821103

localize33.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))
0.0b
(/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))
0.0b
(/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))
0.0b
(/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))
2.6b
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
2.6b
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
7.6b
(-.f64 (+.f64 2 (/.f64 2 (*.f64 t t))) (+.f64 (/.f64 2 t) (/.f64 2 (pow.f64 t 3))))
21.0b
(cbrt.f64 (-.f64 (+.f64 2 (/.f64 2 (*.f64 t t))) (+.f64 (/.f64 2 t) (/.f64 2 (pow.f64 t 3)))))

rewrite215.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
240×times-frac_binary64_766
228×*-un-lft-identity_binary64_760
155×cancel-sign-sub-inv_binary64_726
130×add-sqr-sqrt_binary64_782
108×add-cube-cbrt_binary64_795
65×distribute-lft-out_binary64_711
40×div-inv_binary64_757
20×add-log-exp_binary64_799
12×flip3-+_binary64_763 flip-+_binary64_734 frac-sub_binary64_769
10×distribute-lft-out--_binary64_712
8×difference-of-squares_binary64_729 cbrt-div_binary64_792 cbrt-prod_binary64_791
6×diff-log_binary64_852
5×unpow3_binary64_826
4×associate-/r/_binary64_706 add-exp-log_binary64_798 frac-add_binary64_768 add-cbrt-cube_binary64_796 sum-log_binary64_851 distribute-rgt-out_binary64_713 pow1_binary64_821 flip--_binary64_735 flip3--_binary64_764
3×sub-neg_binary64_753
1×pow1/3_binary64_842 distribute-rgt1-in_binary64_716 associate--r+_binary64_696 associate--l+_binary64_697
Counts
4 → 236
Calls

8 calls:

46.0ms
(-.f64 (+.f64 2 (/.f64 2 (*.f64 t t))) (+.f64 (/.f64 2 t) (/.f64 2 (pow.f64 t 3))))
39.0ms
(cbrt.f64 (-.f64 (+.f64 2 (/.f64 2 (*.f64 t t))) (+.f64 (/.f64 2 t) (/.f64 2 (pow.f64 t 3)))))
35.0ms
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
32.0ms
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
0.0ms
(/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))

series245.0ms (0.1%)

Counts
4 → 37
Calls

4 calls:

87.0ms
(cbrt.f64 (-.f64 (+.f64 2 (/.f64 2 (*.f64 t t))) (+.f64 (/.f64 2 t) (/.f64 2 (pow.f64 t 3)))))
56.0ms
(-.f64 (+.f64 2 (/.f64 2 (*.f64 t t))) (+.f64 (/.f64 2 t) (/.f64 2 (pow.f64 t 3))))
51.0ms
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
51.0ms
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
Compiler

Compiled 3389 to 2915 computations (14% saved)

simplify120.0ms (0%)

Algorithm
1×egg-herbie
Counts
273 → 273
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
049838615
149838615

localize39.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(/.f64 (+.f64 1 (*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 (+.f64 2 (/.f64 2 (*.f64 t t))) (+.f64 (/.f64 2 t) (/.f64 2 (pow.f64 t 3)))))) (+.f64 2 (*.f64 (+.f64 2 (/.f64 (/.f64 -2 (*.f64 (cbrt.f64 (+.f64 1 (/.f64 1 t))) (cbrt.f64 t))) (*.f64 (*.f64 (cbrt.f64 (+.f64 1 (/.f64 1 t))) (cbrt.f64 (+.f64 1 (/.f64 1 t)))) (*.f64 (cbrt.f64 t) (cbrt.f64 t))))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))))
0.0b
(+.f64 (/.f64 2 t) (/.f64 2 (pow.f64 t 3)))
0.0b
(/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))
0.0b
(/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))
2.6b
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
7.6b
(-.f64 (+.f64 2 (/.f64 2 (*.f64 t t))) (+.f64 (/.f64 2 t) (/.f64 2 (pow.f64 t 3))))
21.5b
(*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 (+.f64 2 (/.f64 2 (*.f64 t t))) (+.f64 (/.f64 2 t) (/.f64 2 (pow.f64 t 3)))))
22.5b
(+.f64 2 (/.f64 (/.f64 -2 (*.f64 (cbrt.f64 (+.f64 1 (/.f64 1 t))) (cbrt.f64 t))) (*.f64 (*.f64 (cbrt.f64 (+.f64 1 (/.f64 1 t))) (cbrt.f64 (+.f64 1 (/.f64 1 t)))) (*.f64 (cbrt.f64 t) (cbrt.f64 t)))))

rewrite236.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
181×*-un-lft-identity_binary64_760
158×times-frac_binary64_766
110×cancel-sign-sub-inv_binary64_726
94×add-sqr-sqrt_binary64_782
70×add-cube-cbrt_binary64_795
50×distribute-lft-out_binary64_711
25×div-inv_binary64_757
24×frac-sub_binary64_769
22×flip3-+_binary64_763 flip-+_binary64_734
20×add-log-exp_binary64_799
16×frac-times_binary64_770
15×unpow3_binary64_826 distribute-lft-in_binary64_709 distribute-rgt-in_binary64_710
14×flip--_binary64_735 flip3--_binary64_764
12×distribute-rgt-out_binary64_713
10×distribute-lft-out--_binary64_712
8×frac-add_binary64_768 difference-of-squares_binary64_729 associate-*r*_binary64_700 associate-*r/_binary64_702
7×associate-*l*_binary64_701
6×add-exp-log_binary64_798 add-cbrt-cube_binary64_796 pow1_binary64_821
5×diff-log_binary64_852 sum-log_binary64_851
4×sub-neg_binary64_753
3×distribute-rgt1-in_binary64_716 associate--l+_binary64_697
2×associate-*l/_binary64_703 associate-/r/_binary64_706
1×unswap-sqr_binary64_728 prod-exp_binary64_809 +-commutative_binary64_690 associate--r+_binary64_696 cbrt-unprod_binary64_793 pow-prod-down_binary64_831 *-commutative_binary64_691
Counts
4 → 221
Calls

8 calls:

78.0ms
(*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 (+.f64 2 (/.f64 2 (*.f64 t t))) (+.f64 (/.f64 2 t) (/.f64 2 (pow.f64 t 3)))))
45.0ms
(-.f64 (+.f64 2 (/.f64 2 (*.f64 t t))) (+.f64 (/.f64 2 t) (/.f64 2 (pow.f64 t 3))))
33.0ms
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
15.0ms
(+.f64 2 (/.f64 (/.f64 -2 (*.f64 (cbrt.f64 (+.f64 1 (/.f64 1 t))) (cbrt.f64 t))) (*.f64 (*.f64 (cbrt.f64 (+.f64 1 (/.f64 1 t))) (cbrt.f64 (+.f64 1 (/.f64 1 t)))) (*.f64 (cbrt.f64 t) (cbrt.f64 t)))))
0.0ms
(/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))

series242.0ms (0.1%)

Counts
4 → 37
Calls

4 calls:

79.0ms
(+.f64 2 (/.f64 (/.f64 -2 (*.f64 (cbrt.f64 (+.f64 1 (/.f64 1 t))) (cbrt.f64 t))) (*.f64 (*.f64 (cbrt.f64 (+.f64 1 (/.f64 1 t))) (cbrt.f64 (+.f64 1 (/.f64 1 t)))) (*.f64 (cbrt.f64 t) (cbrt.f64 t)))))
66.0ms
(*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 (+.f64 2 (/.f64 2 (*.f64 t t))) (+.f64 (/.f64 2 t) (/.f64 2 (pow.f64 t 3)))))
49.0ms
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
47.0ms
(-.f64 (+.f64 2 (/.f64 2 (*.f64 t t))) (+.f64 (/.f64 2 t) (/.f64 2 (pow.f64 t 3))))
Compiler

Compiled 2785 to 2314 computations (16.9% saved)

simplify137.0ms (0%)

Algorithm
1×egg-herbie
Counts
258 → 258
Iterations

Useful iterations: 0 (49.0ms)

IterNodesCost
0499211381
1499211381

prune1.3min (22.2%)

Pruning

719 alts after pruning (705 fresh and 14 done)

PrunedKeptTotal
New673263936
Fresh18442460
Picked000
Done21416
Total6937191412
Error
0b
Counts
1412 → 719
Compiler

Compiled 44644 to 35304 computations (20.9% saved)

simplify3.3s (0.9%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (27.0ms)

IterNodesCost
06902199302

regimes37.5s (10.6%)

Compiler

Compiled 658677 to 555603 computations (15.6% saved)

bsearch0.0ms (0%)

regimes590.0ms (0.2%)

Compiler

Compiled 8591 to 7656 computations (10.9% saved)

bsearch0.0ms (0%)

regimes108.0ms (0%)

Compiler

Compiled 1123 to 1024 computations (8.8% saved)

bsearch0.0ms (0%)

regimes98.0ms (0%)

Compiler

Compiled 1003 to 916 computations (8.7% saved)

bsearch0.0ms (0%)

regimes112.0ms (0%)

Compiler

Compiled 702 to 651 computations (7.3% saved)

bsearch66.0ms (0%)

Steps
ItersRangePoint
9
2.5041774079518097e-08
3.754950897038148
1.5760588748497373
8
-391.30379827162244
-0.006877249287870296
-1.5521627806026936
Compiler

Compiled 1 to 1 computations (0% saved)

regimes102.0ms (0%)

Compiler

Compiled 564 to 530 computations (6% saved)

bsearch70.0ms (0%)

Steps
ItersRangePoint
9
2.5041774079518097e-08
3.754950897038148
1.7885350501426902
8
-391.30379827162244
-0.006877249287870296
-1.613756353432005
Compiler

Compiled 1 to 1 computations (0% saved)

regimes61.0ms (0%)

Accuracy

Total 0.0b remaining (98.2%)

Threshold costs 0.0b (98.2%)

Compiler

Compiled 543 to 511 computations (5.9% saved)

bsearch10.0ms (0%)

Compiler

Compiled 247 to 215 computations (13% saved)

simplify6.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0115307
1115307

end0.0ms (0%)

sample1.9min (33%)

Algorithm
1×intervals
Results
917.0ms8000×body128valid
Compiler

Compiled 130358 to 109934 computations (15.7% saved)

Pareto

0.4915505385352896

Profiling

Loading profile data...