Details

Time bar (total: 1.1min)

analyze3.0ms (0%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
50%50%0%2
50%50%0%3
87.5%12.5%0%4
93.7%6.2%0%5
96.8%3.1%0%6
98.4%1.6%0%7
99.2%0.8%0%8
99.6%0.4%0%9
99.8%0.2%0%10
99.9%0.1%0%11
99.9%0%0%12
99.9%0%0%13
99.9%0%0%14
Compiler

Compiled 8 to 7 computations (12.5% saved)

sample10.0ms (0%)

Algorithm
1×intervals
Results
5.0ms256×body128valid
Compiler

Compiled 15 to 14 computations (6.7% saved)

simplify118.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (31.0ms)

IterNodesCost
046110
146110

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 7 to 6 computations (14.3% saved)

localize4.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b
(/.f64 (+.f64 x 1) (-.f64 1 x))
0.0b
(/.f64 (+.f64 x 1) (-.f64 1 x))

rewrite17.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
42×*-un-lft-identity_binary64_78
28×add-sqr-sqrt_binary64_100
24×times-frac_binary64_84
13×add-cube-cbrt_binary64_113
10×difference-of-squares_binary64_47
7×distribute-lft-out_binary64_29
6×associate-/r*_binary64_22
5×distribute-lft-out--_binary64_30
4×associate-/l*_binary64_23
3×add-cbrt-cube_binary64_114 add-exp-log_binary64_116
2×associate-/r/_binary64_24 associate-/l/_binary64_25
1×add-log-exp_binary64_117 cbrt-undiv_binary64_112 div-exp_binary64_129 flip-+_binary64_52 flip3--_binary64_82 frac-2neg_binary64_89 div-inv_binary64_75 flip--_binary64_53 clear-num_binary64_77 pow1_binary64_139 flip3-+_binary64_81
Counts
1 → 50
Calls

2 calls:

8.0ms
(/.f64 (+.f64 x 1) (-.f64 1 x))
0.0ms
(/.f64 (+.f64 x 1) (-.f64 1 x))

series30.0ms (0%)

Counts
1 → 12
Calls

1 calls:

30.0ms
(/.f64 (+.f64 x 1) (-.f64 1 x))
Compiler

Compiled 132 to 126 computations (4.5% saved)

simplify60.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
62 → 62
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
049541035
149541035

prune170.0ms (0.3%)

Pruning

37 alts after pruning (36 fresh and 1 done)

PrunedKeptTotal
New263662
Fresh000
Picked000
Done011
Total263763
Error
0b
Counts
63 → 37
Compiler

Compiled 1082 to 855 computations (21% saved)

localize5.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b
(/.f64 (+.f64 x 1) (-.f64 1 x))
0.0b
(/.f64 (+.f64 x 1) (-.f64 1 x))

rewrite12.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
42×*-un-lft-identity_binary64_78
28×add-sqr-sqrt_binary64_100
24×times-frac_binary64_84
13×add-cube-cbrt_binary64_113
10×difference-of-squares_binary64_47
7×distribute-lft-out_binary64_29
6×associate-/r*_binary64_22
5×distribute-lft-out--_binary64_30
4×associate-/l*_binary64_23
3×add-cbrt-cube_binary64_114 add-exp-log_binary64_116
2×associate-/r/_binary64_24 associate-/l/_binary64_25
1×add-log-exp_binary64_117 cbrt-undiv_binary64_112 div-exp_binary64_129 flip-+_binary64_52 flip3--_binary64_82 frac-2neg_binary64_89 div-inv_binary64_75 flip--_binary64_53 clear-num_binary64_77 pow1_binary64_139 flip3-+_binary64_81
Counts
1 → 50
Calls

2 calls:

8.0ms
(/.f64 (+.f64 x 1) (-.f64 1 x))
0.0ms
(/.f64 (+.f64 x 1) (-.f64 1 x))

series30.0ms (0%)

Counts
1 → 12
Calls

1 calls:

30.0ms
(/.f64 (+.f64 x 1) (-.f64 1 x))
Compiler

Compiled 156 to 150 computations (3.8% saved)

simplify63.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
62 → 62
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
049541035
149541035

localize3.0ms (0%)

rewrite0.0ms (0%)

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

series0.0ms (0%)

Counts
0 → 0

simplify6.0ms (0%)

Algorithm
1×egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
000

localize5.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b
(/.f64 (+.f64 x 1) (-.f64 1 x))
0.0b
(/.f64 (+.f64 x 1) (-.f64 1 x))

rewrite12.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
42×*-un-lft-identity_binary64_78
28×add-sqr-sqrt_binary64_100
24×times-frac_binary64_84
13×add-cube-cbrt_binary64_113
10×difference-of-squares_binary64_47
7×distribute-lft-out_binary64_29
6×associate-/r*_binary64_22
5×distribute-lft-out--_binary64_30
4×associate-/l*_binary64_23
3×add-cbrt-cube_binary64_114 add-exp-log_binary64_116
2×associate-/r/_binary64_24 associate-/l/_binary64_25
1×add-log-exp_binary64_117 cbrt-undiv_binary64_112 div-exp_binary64_129 flip-+_binary64_52 flip3--_binary64_82 frac-2neg_binary64_89 div-inv_binary64_75 flip--_binary64_53 clear-num_binary64_77 pow1_binary64_139 flip3-+_binary64_81
Counts
1 → 50
Calls

2 calls:

8.0ms
(/.f64 (+.f64 x 1) (-.f64 1 x))
0.0ms
(/.f64 (+.f64 x 1) (-.f64 1 x))

series31.0ms (0%)

Counts
1 → 12
Calls

1 calls:

31.0ms
(/.f64 (+.f64 x 1) (-.f64 1 x))
Compiler

Compiled 156 to 150 computations (3.8% saved)

simplify61.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
62 → 62
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
049541035
149541035

localize11.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b
(/.f64 (+.f64 x 1) (+.f64 1 (sqrt.f64 x)))
0.0b
(-.f64 1 (sqrt.f64 x))
0.0b
(+.f64 1 (sqrt.f64 x))
0.0b
(/.f64 (/.f64 (+.f64 x 1) (+.f64 1 (sqrt.f64 x))) (-.f64 1 (sqrt.f64 x)))
0.0b
(-.f64 1 (sqrt.f64 x))
0.0b
(+.f64 1 (sqrt.f64 x))
0.0b
(/.f64 (/.f64 (+.f64 x 1) (+.f64 1 (sqrt.f64 x))) (-.f64 1 (sqrt.f64 x)))
0.1b
(/.f64 (+.f64 x 1) (+.f64 1 (sqrt.f64 x)))

rewrite93.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
534×*-un-lft-identity_binary64_78
454×times-frac_binary64_84
386×add-sqr-sqrt_binary64_100
148×distribute-lft-out_binary64_29
144×add-cube-cbrt_binary64_113
133×sqrt-prod_binary64_94
112×difference-of-squares_binary64_47
56×distribute-lft-out--_binary64_30
30×associate-/l*_binary64_23
24×associate-/r/_binary64_24
14×associate-/r*_binary64_22
13×flip-+_binary64_52 flip3-+_binary64_81
12×div-inv_binary64_75
11×add-cbrt-cube_binary64_114 add-exp-log_binary64_116
8×add-log-exp_binary64_117
6×cancel-sign-sub-inv_binary64_44
4×cbrt-undiv_binary64_112 div-exp_binary64_129 pow1_binary64_139
3×associate-/l/_binary64_25
2×flip3--_binary64_82 frac-2neg_binary64_89 flip--_binary64_53 clear-num_binary64_77
1×+-commutative_binary64_8 diff-log_binary64_170 sub-neg_binary64_71 sum-log_binary64_169
Counts
4 → 367
Calls

8 calls:

20.0ms
(/.f64 (/.f64 (+.f64 x 1) (+.f64 1 (sqrt.f64 x))) (-.f64 1 (sqrt.f64 x)))
8.0ms
(/.f64 (+.f64 x 1) (+.f64 1 (sqrt.f64 x)))
5.0ms
(-.f64 1 (sqrt.f64 x))
4.0ms
(+.f64 1 (sqrt.f64 x))
0.0ms
(/.f64 (/.f64 (+.f64 x 1) (+.f64 1 (sqrt.f64 x))) (-.f64 1 (sqrt.f64 x)))

series97.0ms (0.2%)

Counts
4 → 13
Calls

4 calls:

46.0ms
(/.f64 (/.f64 (+.f64 x 1) (+.f64 1 (sqrt.f64 x))) (-.f64 1 (sqrt.f64 x)))
21.0ms
(/.f64 (+.f64 x 1) (+.f64 1 (sqrt.f64 x)))
18.0ms
(-.f64 1 (sqrt.f64 x))
12.0ms
(+.f64 1 (sqrt.f64 x))
Compiler

Compiled 345 to 305 computations (11.6% saved)

simplify161.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
380 → 380
Iterations

Useful iterations: 0 (61.0ms)

IterNodesCost
0496512084
1496512084

localize9.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b
(cbrt.f64 (+.f64 x 1))
0.3b
(cbrt.f64 (+.f64 x 1))
0.1b
(/.f64 (-.f64 1 x) (cbrt.f64 (+.f64 x 1)))
0.0b
(/.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (/.f64 (-.f64 1 x) (cbrt.f64 (+.f64 x 1))))
0.3b
(cbrt.f64 (+.f64 x 1))
0.3b
(cbrt.f64 (+.f64 x 1))
0.3b
(cbrt.f64 (+.f64 x 1))
0.3b
(*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1)))

rewrite29.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
36×cbrt-prod_binary64_109
35×*-un-lft-identity_binary64_78
23×add-sqr-sqrt_binary64_100
18×cbrt-div_binary64_110
15×add-cube-cbrt_binary64_113
11×pow1_binary64_139
9×flip-+_binary64_52 swap-sqr_binary64_45 pow1/3_binary64_160 distribute-lft-out_binary64_29 flip3-+_binary64_81
7×associate-*l*_binary64_19 associate-*r*_binary64_18
6×add-exp-log_binary64_116
4×add-cbrt-cube_binary64_114 add-log-exp_binary64_117 frac-times_binary64_88 unswap-sqr_binary64_46
2×pow-sqr_binary64_51 pow-prod-up_binary64_148 associate-*l/_binary64_21 pow-prod-down_binary64_149 associate-*r/_binary64_20
1×pow2_binary64_159 *-commutative_binary64_9 cbrt-unprod_binary64_111 prod-exp_binary64_127 pow-plus_binary64_141
Counts
4 → 95
Calls

8 calls:

11.0ms
(*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1)))
3.0ms
(cbrt.f64 (+.f64 x 1))
3.0ms
(cbrt.f64 (+.f64 x 1))
3.0ms
(cbrt.f64 (+.f64 x 1))
0.0ms
(/.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (/.f64 (-.f64 1 x) (cbrt.f64 (+.f64 x 1))))

series206.0ms (0.3%)

Counts
4 → 39
Calls

4 calls:

68.0ms
(*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1)))
48.0ms
(cbrt.f64 (+.f64 x 1))
46.0ms
(cbrt.f64 (+.f64 x 1))
44.0ms
(cbrt.f64 (+.f64 x 1))
Compiler

Compiled 1133 to 975 computations (13.9% saved)

simplify106.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
134 → 134
Iterations

Useful iterations: 0 (81.0ms)

IterNodesCost
048561870
148561870

prune5.9s (9.3%)

Pruning

233 alts after pruning (228 fresh and 5 done)

PrunedKeptTotal
New438200638
Fresh32831
Picked000
Done156
Total442233675
Error
0b
Counts
675 → 233
Compiler

Compiled 12087 to 9099 computations (24.7% saved)

localize7.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b
(/.f64 (+.f64 x 1) (-.f64 1 x))
0.0b
(/.f64 (+.f64 x 1) (-.f64 1 x))

rewrite12.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
42×*-un-lft-identity_binary64_78
28×add-sqr-sqrt_binary64_100
24×times-frac_binary64_84
13×add-cube-cbrt_binary64_113
10×difference-of-squares_binary64_47
7×distribute-lft-out_binary64_29
6×associate-/r*_binary64_22
5×distribute-lft-out--_binary64_30
4×associate-/l*_binary64_23
3×add-cbrt-cube_binary64_114 add-exp-log_binary64_116
2×associate-/r/_binary64_24 associate-/l/_binary64_25
1×add-log-exp_binary64_117 cbrt-undiv_binary64_112 div-exp_binary64_129 flip-+_binary64_52 flip3--_binary64_82 frac-2neg_binary64_89 div-inv_binary64_75 flip--_binary64_53 clear-num_binary64_77 pow1_binary64_139 flip3-+_binary64_81
Counts
1 → 50
Calls

2 calls:

8.0ms
(/.f64 (+.f64 x 1) (-.f64 1 x))
0.0ms
(/.f64 (+.f64 x 1) (-.f64 1 x))

series31.0ms (0%)

Counts
1 → 12
Calls

1 calls:

31.0ms
(/.f64 (+.f64 x 1) (-.f64 1 x))
Compiler

Compiled 180 to 174 computations (3.3% saved)

simplify59.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
62 → 62
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
049541035
149541035

localize2.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

localize14.0ms (0%)

Local error

Found 6 expressions with local error:

0.2b
(/.f64 (+.f64 x 1) (sqrt.f64 (-.f64 1 x)))
0.1b
(/.f64 1 (sqrt.f64 (-.f64 1 x)))
0.1b
(*.f64 (/.f64 1 (sqrt.f64 (-.f64 1 x))) (/.f64 (+.f64 x 1) (sqrt.f64 (-.f64 1 x))))
0.1b
(*.f64 (/.f64 1 (sqrt.f64 (-.f64 1 x))) (/.f64 (+.f64 x 1) (sqrt.f64 (-.f64 1 x))))
0.1b
(/.f64 1 (sqrt.f64 (-.f64 1 x)))
0.2b
(/.f64 (+.f64 x 1) (sqrt.f64 (-.f64 1 x)))

rewrite89.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
169×add-sqr-sqrt_binary64_100
167×*-un-lft-identity_binary64_78
148×times-frac_binary64_84
107×sqrt-prod_binary64_94
75×add-cube-cbrt_binary64_113
42×associate-*r*_binary64_18
33×associate-*l*_binary64_19
32×difference-of-squares_binary64_47
31×add-exp-log_binary64_116
19×add-cbrt-cube_binary64_114 distribute-lft-out_binary64_29
18×associate-/r*_binary64_22
16×distribute-lft-out--_binary64_30
15×unswap-sqr_binary64_46
11×div-exp_binary64_129
8×prod-exp_binary64_127 sqrt-div_binary64_95 associate-/r/_binary64_24
7×associate-/l*_binary64_23 pow1_binary64_139
6×cbrt-undiv_binary64_112
4×cbrt-unprod_binary64_111 flip3--_binary64_82 div-inv_binary64_75 flip--_binary64_53
3×add-log-exp_binary64_117 1-exp_binary64_122 pow-flip_binary64_152 rec-exp_binary64_128
2×frac-2neg_binary64_89 clear-num_binary64_77 associate-/l/_binary64_25
1×*-commutative_binary64_9 sqrt-pow1_binary64_96 inv-pow_binary64_163 flip-+_binary64_52 frac-times_binary64_88 associate-*l/_binary64_21 pow-prod-down_binary64_149 associate-*r/_binary64_20 pow1/2_binary64_158 flip3-+_binary64_81
Counts
3 → 238
Calls

6 calls:

41.0ms
(*.f64 (/.f64 1 (sqrt.f64 (-.f64 1 x))) (/.f64 (+.f64 x 1) (sqrt.f64 (-.f64 1 x))))
9.0ms
(/.f64 (+.f64 x 1) (sqrt.f64 (-.f64 1 x)))
7.0ms
(/.f64 1 (sqrt.f64 (-.f64 1 x)))
0.0ms
(*.f64 (/.f64 1 (sqrt.f64 (-.f64 1 x))) (/.f64 (+.f64 x 1) (sqrt.f64 (-.f64 1 x))))
0.0ms
(/.f64 1 (sqrt.f64 (-.f64 1 x)))

series80.0ms (0.1%)

Counts
3 → 24
Calls

3 calls:

35.0ms
(*.f64 (/.f64 1 (sqrt.f64 (-.f64 1 x))) (/.f64 (+.f64 x 1) (sqrt.f64 (-.f64 1 x))))
23.0ms
(/.f64 (+.f64 x 1) (sqrt.f64 (-.f64 1 x)))
21.0ms
(/.f64 1 (sqrt.f64 (-.f64 1 x)))
Compiler

Compiled 450 to 406 computations (9.8% saved)

simplify107.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
262 → 262
Iterations

Useful iterations: 0 (59.0ms)

IterNodesCost
050084858

localize10.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b
(cbrt.f64 (-.f64 1 x))
0.3b
(cbrt.f64 (-.f64 1 x))
0.1b
(/.f64 (+.f64 x 1) (*.f64 (cbrt.f64 (-.f64 1 x)) (cbrt.f64 (-.f64 1 x))))
0.0b
(/.f64 (/.f64 (+.f64 x 1) (*.f64 (cbrt.f64 (-.f64 1 x)) (cbrt.f64 (-.f64 1 x)))) (cbrt.f64 (-.f64 1 x)))
0.3b
(cbrt.f64 (-.f64 1 x))
0.3b
(cbrt.f64 (-.f64 1 x))
0.3b
(cbrt.f64 (-.f64 1 x))
0.3b
(*.f64 (cbrt.f64 (-.f64 1 x)) (cbrt.f64 (-.f64 1 x)))

rewrite38.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
50×cbrt-prod_binary64_109
44×add-sqr-sqrt_binary64_100
42×*-un-lft-identity_binary64_78
18×cbrt-div_binary64_110
15×add-cube-cbrt_binary64_113
14×difference-of-squares_binary64_47
11×swap-sqr_binary64_45 pow1_binary64_139
9×associate-*l*_binary64_19 distribute-lft-out--_binary64_30 flip3--_binary64_82 pow1/3_binary64_160 associate-*r*_binary64_18 flip--_binary64_53
6×add-exp-log_binary64_116
4×add-cbrt-cube_binary64_114 add-log-exp_binary64_117 frac-times_binary64_88 unswap-sqr_binary64_46
2×pow-sqr_binary64_51 pow-prod-up_binary64_148 associate-*l/_binary64_21 pow-prod-down_binary64_149 associate-*r/_binary64_20
1×pow2_binary64_159 *-commutative_binary64_9 cbrt-unprod_binary64_111 prod-exp_binary64_127 pow-plus_binary64_141
Counts
4 → 107
Calls

8 calls:

17.0ms
(*.f64 (cbrt.f64 (-.f64 1 x)) (cbrt.f64 (-.f64 1 x)))
3.0ms
(cbrt.f64 (-.f64 1 x))
3.0ms
(cbrt.f64 (-.f64 1 x))
3.0ms
(cbrt.f64 (-.f64 1 x))
0.0ms
(/.f64 (/.f64 (+.f64 x 1) (*.f64 (cbrt.f64 (-.f64 1 x)) (cbrt.f64 (-.f64 1 x)))) (cbrt.f64 (-.f64 1 x)))

series164.0ms (0.3%)

Counts
4 → 30
Calls

4 calls:

64.0ms
(*.f64 (cbrt.f64 (-.f64 1 x)) (cbrt.f64 (-.f64 1 x)))
35.0ms
(cbrt.f64 (-.f64 1 x))
34.0ms
(cbrt.f64 (-.f64 1 x))
32.0ms
(cbrt.f64 (-.f64 1 x))
Compiler

Compiled 965 to 840 computations (13% saved)

simplify94.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
137 → 137
Iterations

Useful iterations: 0 (68.0ms)

IterNodesCost
049661869
149661869

localize25.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b
(/.f64 1 (pow.f64 x 5))
0.0b
(/.f64 (*.f64 (-.f64 (+.f64 (cbrt.f64 x) (*.f64 1/3 (cbrt.f64 (/.f64 1 (*.f64 x x))))) (*.f64 1/9 (cbrt.f64 (/.f64 1 (pow.f64 x 5))))) (cbrt.f64 (+.f64 x 1))) (/.f64 (-.f64 1 x) (cbrt.f64 (+.f64 x 1))))
0.0b
(+.f64 (cbrt.f64 x) (*.f64 1/3 (cbrt.f64 (/.f64 1 (*.f64 x x)))))
0.0b
(-.f64 (+.f64 (cbrt.f64 x) (*.f64 1/3 (cbrt.f64 (/.f64 1 (*.f64 x x))))) (*.f64 1/9 (cbrt.f64 (/.f64 1 (pow.f64 x 5)))))
0.4b
(*.f64 1/9 (cbrt.f64 (/.f64 1 (pow.f64 x 5))))
0.6b
(cbrt.f64 x)
20.5b
(cbrt.f64 (/.f64 1 (pow.f64 x 5)))
32.2b
(cbrt.f64 (/.f64 1 (*.f64 x x)))

rewrite39.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
67×cbrt-prod_binary64_109
54×add-sqr-sqrt_binary64_100
51×times-frac_binary64_84
40×*-un-lft-identity_binary64_78
37×add-cube-cbrt_binary64_113
28×associate-*r*_binary64_18
20×unpow-prod-down_binary64_157
8×sqr-pow_binary64_50 unswap-sqr_binary64_46
6×add-exp-log_binary64_116 pow1_binary64_139
5×add-cbrt-cube_binary64_114
4×add-log-exp_binary64_117
3×cbrt-div_binary64_110 associate-*l*_binary64_19 pow1/3_binary64_160 div-inv_binary64_75
1×*-commutative_binary64_9 cbrt-unprod_binary64_111 prod-exp_binary64_127 pow-prod-down_binary64_149 associate-*r/_binary64_20
Counts
4 → 112
Calls

8 calls:

13.0ms
(*.f64 1/9 (cbrt.f64 (/.f64 1 (pow.f64 x 5))))
5.0ms
(cbrt.f64 (/.f64 1 (pow.f64 x 5)))
4.0ms
(cbrt.f64 (/.f64 1 (*.f64 x x)))
1.0ms
(cbrt.f64 x)
0.0ms
(-.f64 (+.f64 (cbrt.f64 x) (*.f64 1/3 (cbrt.f64 (/.f64 1 (*.f64 x x))))) (*.f64 1/9 (cbrt.f64 (/.f64 1 (pow.f64 x 5)))))

series389.0ms (0.6%)

Counts
4 → 12
Calls

4 calls:

126.0ms
(*.f64 1/9 (cbrt.f64 (/.f64 1 (pow.f64 x 5))))
107.0ms
(cbrt.f64 (/.f64 1 (pow.f64 x 5)))
83.0ms
(cbrt.f64 (/.f64 1 (*.f64 x x)))
72.0ms
(cbrt.f64 x)
Compiler

Compiled 862 to 724 computations (16% saved)

simplify77.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
124 → 124
Iterations

Useful iterations: 0 (53.0ms)

IterNodesCost
049031822
149031822

prune13.4s (20.9%)

Pruning

435 alts after pruning (425 fresh and 10 done)

PrunedKeptTotal
New359226585
Fresh24199223
Picked000
Done01010
Total383435818
Error
0b
Counts
818 → 435
Compiler

Compiled 21511 to 17405 computations (19.1% saved)

localize8.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b
(/.f64 (+.f64 x 1) (-.f64 1 x))
0.0b
(/.f64 (+.f64 x 1) (-.f64 1 x))

rewrite13.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
42×*-un-lft-identity_binary64_78
28×add-sqr-sqrt_binary64_100
24×times-frac_binary64_84
13×add-cube-cbrt_binary64_113
10×difference-of-squares_binary64_47
7×distribute-lft-out_binary64_29
6×associate-/r*_binary64_22
5×distribute-lft-out--_binary64_30
4×associate-/l*_binary64_23
3×add-cbrt-cube_binary64_114 add-exp-log_binary64_116
2×associate-/r/_binary64_24 associate-/l/_binary64_25
1×add-log-exp_binary64_117 cbrt-undiv_binary64_112 div-exp_binary64_129 flip-+_binary64_52 flip3--_binary64_82 frac-2neg_binary64_89 div-inv_binary64_75 flip--_binary64_53 clear-num_binary64_77 pow1_binary64_139 flip3-+_binary64_81
Counts
1 → 50
Calls

2 calls:

8.0ms
(/.f64 (+.f64 x 1) (-.f64 1 x))
0.0ms
(/.f64 (+.f64 x 1) (-.f64 1 x))

series33.0ms (0.1%)

Counts
1 → 12
Calls

1 calls:

33.0ms
(/.f64 (+.f64 x 1) (-.f64 1 x))
Compiler

Compiled 204 to 198 computations (2.9% saved)

simplify62.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
62 → 62
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
049541035
149541035

localize2.0ms (0%)

rewrite0.0ms (0%)

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

series0.0ms (0%)

Counts
0 → 0

simplify8.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.3b
(cbrt.f64 (+.f64 x 1))
0.3b
(cbrt.f64 (+.f64 x 1))
0.1b
(/.f64 (-.f64 1 x) (pow.f64 (+.f64 x 1) 1/3))
0.0b
(/.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (/.f64 (-.f64 1 x) (pow.f64 (+.f64 x 1) 1/3)))
0.3b
(cbrt.f64 (+.f64 x 1))
0.3b
(cbrt.f64 (+.f64 x 1))
0.3b
(*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1)))
1.2b
(pow.f64 (+.f64 x 1) 1/3)

rewrite30.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
36×*-un-lft-identity_binary64_78
32×cbrt-prod_binary64_109
24×add-sqr-sqrt_binary64_100
16×cbrt-div_binary64_110 add-cube-cbrt_binary64_113
12×pow1_binary64_139
9×swap-sqr_binary64_45 distribute-lft-out_binary64_29
8×flip-+_binary64_52 pow1/3_binary64_160 flip3-+_binary64_81
7×associate-*l*_binary64_19 associate-*r*_binary64_18 add-exp-log_binary64_116
4×add-cbrt-cube_binary64_114 add-log-exp_binary64_117 unpow-prod-down_binary64_157 frac-times_binary64_88 unswap-sqr_binary64_46
3×pow-unpow_binary64_155
2×pow-sqr_binary64_51 pow-prod-up_binary64_148 associate-*l/_binary64_21 pow-prod-down_binary64_149 associate-*r/_binary64_20
1×pow2_binary64_159 *-commutative_binary64_9 pow-exp_binary64_146 pow-to-exp_binary64_147 cbrt-unprod_binary64_111 prod-exp_binary64_127 sqr-pow_binary64_50 pow-pow_binary64_150 unpow1/3_binary64_145 pow-plus_binary64_141
Counts
4 → 100
Calls

8 calls:

11.0ms
(*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1)))
5.0ms
(pow.f64 (+.f64 x 1) 1/3)
3.0ms
(cbrt.f64 (+.f64 x 1))
3.0ms
(cbrt.f64 (+.f64 x 1))
0.0ms
(/.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (/.f64 (-.f64 1 x) (pow.f64 (+.f64 x 1) 1/3)))

series213.0ms (0.3%)

Counts
4 → 39
Calls

4 calls:

68.0ms
(*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1)))
51.0ms
(cbrt.f64 (+.f64 x 1))
48.0ms
(cbrt.f64 (+.f64 x 1))
46.0ms
(pow.f64 (+.f64 x 1) 1/3)
Compiler

Compiled 1165 to 1007 computations (13.6% saved)

simplify73.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
139 → 139
Iterations

Useful iterations: 0 (50.0ms)

IterNodesCost
049381766
149381766

localize17.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b
(cbrt.f64 (-.f64 1 x))
0.3b
(cbrt.f64 (+.f64 1 x))
0.1b
(/.f64 (+.f64 x 1) (*.f64 (cbrt.f64 (-.f64 1 x)) (cbrt.f64 (-.f64 1 x))))
0.0b
(/.f64 (/.f64 (+.f64 x 1) (*.f64 (cbrt.f64 (-.f64 1 x)) (cbrt.f64 (-.f64 1 x)))) (/.f64 (cbrt.f64 (-.f64 1 (*.f64 x x))) (cbrt.f64 (+.f64 1 x))))
0.3b
(cbrt.f64 (+.f64 1 x))
0.3b
(/.f64 (cbrt.f64 (-.f64 1 (*.f64 x x))) (cbrt.f64 (+.f64 1 x)))
0.3b
(*.f64 (cbrt.f64 (-.f64 1 x)) (cbrt.f64 (-.f64 1 x)))
16.9b
(cbrt.f64 (-.f64 1 (*.f64 x x)))

rewrite52.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
117×cbrt-prod_binary64_109
95×*-un-lft-identity_binary64_78
77×add-sqr-sqrt_binary64_100
56×times-frac_binary64_84
48×add-cube-cbrt_binary64_113
26×difference-of-squares_binary64_47
20×cbrt-div_binary64_110
11×swap-sqr_binary64_45 pow1_binary64_139
10×distribute-lft-out_binary64_29
9×associate-*l*_binary64_19 associate-*r*_binary64_18
8×flip3--_binary64_82 pow1/3_binary64_160 flip--_binary64_53 associate-/l*_binary64_23 add-exp-log_binary64_116
7×associate-/r*_binary64_22
6×distribute-lft-out--_binary64_30
4×add-cbrt-cube_binary64_114 add-log-exp_binary64_117 frac-times_binary64_88 unswap-sqr_binary64_46
2×pow-sqr_binary64_51 flip-+_binary64_52 pow-prod-up_binary64_148 associate-*l/_binary64_21 pow-prod-down_binary64_149 associate-/r/_binary64_24 associate-*r/_binary64_20 associate-/l/_binary64_25 flip3-+_binary64_81
1×pow2_binary64_159 *-commutative_binary64_9 cbrt-unprod_binary64_111 cbrt-undiv_binary64_112 prod-exp_binary64_127 div-exp_binary64_129 frac-2neg_binary64_89 div-inv_binary64_75 clear-num_binary64_77 pow-plus_binary64_141
Counts
4 → 175
Calls

8 calls:

16.0ms
(*.f64 (cbrt.f64 (-.f64 1 x)) (cbrt.f64 (-.f64 1 x)))
9.0ms
(/.f64 (cbrt.f64 (-.f64 1 (*.f64 x x))) (cbrt.f64 (+.f64 1 x)))
3.0ms
(cbrt.f64 (+.f64 1 x))
3.0ms
(cbrt.f64 (-.f64 1 (*.f64 x x)))
0.0ms
(/.f64 (/.f64 (+.f64 x 1) (*.f64 (cbrt.f64 (-.f64 1 x)) (cbrt.f64 (-.f64 1 x)))) (/.f64 (cbrt.f64 (-.f64 1 (*.f64 x x))) (cbrt.f64 (+.f64 1 x))))

series225.0ms (0.4%)

Counts
4 → 33
Calls

4 calls:

71.0ms
(*.f64 (cbrt.f64 (-.f64 1 x)) (cbrt.f64 (-.f64 1 x)))
59.0ms
(cbrt.f64 (-.f64 1 (*.f64 x x)))
53.0ms
(cbrt.f64 (+.f64 1 x))
40.0ms
(/.f64 (cbrt.f64 (-.f64 1 (*.f64 x x))) (cbrt.f64 (+.f64 1 x)))
Compiler

Compiled 1280 to 1091 computations (14.8% saved)

simplify174.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
208 → 208
Iterations

Useful iterations: 0 (128.0ms)

IterNodesCost
048694398
148694398

localize16.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b
(cbrt.f64 (cbrt.f64 (-.f64 1 x)))
0.2b
(*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (-.f64 1 x))) 2) (cbrt.f64 (cbrt.f64 (-.f64 1 x))))
0.1b
(/.f64 (+.f64 x 1) (*.f64 (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (-.f64 1 x))) 2) (cbrt.f64 (cbrt.f64 (-.f64 1 x)))) (cbrt.f64 (-.f64 1 x))))
0.0b
(/.f64 (/.f64 (+.f64 x 1) (*.f64 (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (-.f64 1 x))) 2) (cbrt.f64 (cbrt.f64 (-.f64 1 x)))) (cbrt.f64 (-.f64 1 x)))) (cbrt.f64 (-.f64 1 x)))
0.3b
(cbrt.f64 (-.f64 1 x))
0.3b
(cbrt.f64 (-.f64 1 x))
0.3b
(pow.f64 (cbrt.f64 (cbrt.f64 (-.f64 1 x))) 2)
0.3b
(*.f64 (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (-.f64 1 x))) 2) (cbrt.f64 (cbrt.f64 (-.f64 1 x)))) (cbrt.f64 (-.f64 1 x)))

rewrite46.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
33×cbrt-prod_binary64_109
24×add-sqr-sqrt_binary64_100 *-un-lft-identity_binary64_78
22×cbrt-div_binary64_110
15×add-exp-log_binary64_116
12×unpow-prod-down_binary64_157 add-cube-cbrt_binary64_113
9×associate-*r*_binary64_18
8×flip3--_binary64_82 flip--_binary64_53 difference-of-squares_binary64_47 associate-*r/_binary64_20
7×prod-exp_binary64_127 pow1_binary64_139
6×add-cbrt-cube_binary64_114
4×add-log-exp_binary64_117 distribute-lft-out--_binary64_30 frac-times_binary64_88
3×cbrt-unprod_binary64_111 pow1/3_binary64_160 pow-unpow_binary64_155
2×pow-exp_binary64_146 pow-to-exp_binary64_147 pow-pow_binary64_150 associate-*l/_binary64_21
1×*-commutative_binary64_9 associate-*l*_binary64_19 unpow2_binary64_143 sqr-pow_binary64_50 pow-prod-down_binary64_149
Counts
4 → 93
Calls

8 calls:

21.0ms
(*.f64 (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (-.f64 1 x))) 2) (cbrt.f64 (cbrt.f64 (-.f64 1 x)))) (cbrt.f64 (-.f64 1 x)))
7.0ms
(pow.f64 (cbrt.f64 (cbrt.f64 (-.f64 1 x))) 2)
3.0ms
(cbrt.f64 (-.f64 1 x))
3.0ms
(cbrt.f64 (-.f64 1 x))
0.0ms
(/.f64 (/.f64 (+.f64 x 1) (*.f64 (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (-.f64 1 x))) 2) (cbrt.f64 (cbrt.f64 (-.f64 1 x)))) (cbrt.f64 (-.f64 1 x)))) (cbrt.f64 (-.f64 1 x)))

series215.0ms (0.3%)

Counts
4 → 33
Calls

4 calls:

76.0ms
(*.f64 (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (-.f64 1 x))) 2) (cbrt.f64 (cbrt.f64 (-.f64 1 x)))) (cbrt.f64 (-.f64 1 x)))
67.0ms
(pow.f64 (cbrt.f64 (cbrt.f64 (-.f64 1 x))) 2)
39.0ms
(cbrt.f64 (-.f64 1 x))
34.0ms
(cbrt.f64 (-.f64 1 x))
Compiler

Compiled 1267 to 1105 computations (12.8% saved)

simplify82.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
126 → 126
Iterations

Useful iterations: 0 (56.0ms)

IterNodesCost
048781879
148781879

prune20.0s (31.2%)

Pruning

606 alts after pruning (592 fresh and 14 done)

PrunedKeptTotal
New328207535
Fresh35385420
Picked000
Done11415
Total364606970
Error
0b
Counts
970 → 606
Compiler

Compiled 11085 to 8612 computations (22.3% saved)

simplify564.0ms (0.9%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (39.0ms)

IterNodesCost
0498140085
1498140085

regimes1.9s (2.9%)

Compiler

Compiled 19333 to 15712 computations (18.7% saved)

bsearch0.0ms (0%)

regimes27.0ms (0%)

Compiler

Compiled 18 to 21 computations (-16.7% saved)

bsearch24.0ms (0%)

Steps
ItersRangePoint
8
0.4107802552023084
493.69183428897105
0.9945285781400639
10
-2540350810.915865
-1.4171089980029817e-05
-2.05359069684278
Compiler

Compiled 1 to 1 computations (0% saved)

regimes22.0ms (0%)

Compiler

Compiled 13 to 16 computations (-23.1% saved)

bsearch23.0ms (0%)

Steps
ItersRangePoint
8
0.4107802552023084
493.69183428897105
0.9945285781400639
10
-2540350810.915865
-1.4171089980029817e-05
-2.2384559699793503
Compiler

Compiled 1 to 1 computations (0% saved)

regimes21.0ms (0%)

Compiler

Compiled 8 to 11 computations (-37.5% saved)

bsearch22.0ms (0%)

Steps
ItersRangePoint
8
0.4107802552023084
493.69183428897105
0.9945285781400639
10
-2540350810.915865
-1.4171089980029817e-05
-1.9805790301372477
Compiler

Compiled 1 to 1 computations (0% saved)

regimes21.0ms (0%)

Accuracy

Total 0.0b remaining (100%)

Threshold costs 0.0b (100%)

Compiler

Compiled 5 to 8 computations (-60% saved)

bsearch27.0ms (0%)

Steps
ItersRangePoint
8
0.4107802552023084
493.69183428897105
0.9945285781400639
10
-2540350810.915865
-1.4171089980029817e-05
-1.0100363461702562
Compiler

Compiled 77 to 66 computations (14.3% saved)

simplify4.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
06597
16597

end0.0ms (0%)

sample18.3s (28.5%)

Algorithm
1×intervals
Results
179.0ms8000×body128valid
Compiler

Compiled 19543 to 15895 computations (18.7% saved)

Pareto

0.4774482796304688

Profiling

Loading profile data...