Details

Time bar (total: 15.1s)

analyze3.0ms (0%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
25%75%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 13 to 9 computations (30.8% saved)

sample36.0ms (0.2%)

Algorithm
1×intervals
Results
26.0ms140×body2048valid
5.0ms116×body128valid
Compiler

Compiled 25 to 18 computations (28% saved)

simplify100.0ms (0.7%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
0979
1979

prune3.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 6 to 5 computations (16.7% saved)

localize14.0ms (0.1%)

Local error

Found 6 expressions with local error:

28.6b
(sqrt.f64 (*.f64 x x))
6.3b
(-.f64 (/.f64 x x) (*.f64 (/.f64 1 x) (sqrt.f64 (*.f64 x x))))
0.1b
(*.f64 (/.f64 1 x) (sqrt.f64 (*.f64 x x)))
0.1b
(*.f64 (/.f64 1 x) (sqrt.f64 (*.f64 x x)))
6.3b
(-.f64 (/.f64 x x) (*.f64 (/.f64 1 x) (sqrt.f64 (*.f64 x x))))
28.6b
(sqrt.f64 (*.f64 x x))

rewrite28.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
27×pow1_binary64_139
22×add-sqr-sqrt_binary64_100
14×sqrt-pow1_binary64_96
13×associate-*l*_binary64_19 times-frac_binary64_84 *-un-lft-identity_binary64_78
12×add-exp-log_binary64_116
11×add-cube-cbrt_binary64_113 pow-prod-up_binary64_148
8×add-cbrt-cube_binary64_114
6×unswap-sqr_binary64_46
5×sqrt-prod_binary64_94 add-log-exp_binary64_117
4×prod-exp_binary64_127 inv-pow_binary64_163 associate-*r*_binary64_18 pow-flip_binary64_152
3×pow2_binary64_159 pow-sqr_binary64_51 associate-*l/_binary64_21 pow-plus_binary64_141
2×cbrt-unprod_binary64_111 div-exp_binary64_129 pow-prod-down_binary64_149
1×*-commutative_binary64_9 cbrt-undiv_binary64_112 rem-sqrt-square_binary64_91 frac-sub_binary64_87 flip3--_binary64_82 diff-log_binary64_170 1-exp_binary64_122 div-inv_binary64_75 flip--_binary64_53 rec-exp_binary64_128 cancel-sign-sub-inv_binary64_44 pow1/2_binary64_158 sub-div_binary64_85 sub-neg_binary64_71
Counts
3 → 77
Calls

6 calls:

11.0ms
(*.f64 (/.f64 1 x) (sqrt.f64 (*.f64 x x)))
8.0ms
(-.f64 (/.f64 x x) (*.f64 (/.f64 1 x) (sqrt.f64 (*.f64 x x))))
3.0ms
(sqrt.f64 (*.f64 x x))
0.0ms
(*.f64 (/.f64 1 x) (sqrt.f64 (*.f64 x x)))
0.0ms
(-.f64 (/.f64 x x) (*.f64 (/.f64 1 x) (sqrt.f64 (*.f64 x x))))

series25.0ms (0.2%)

Counts
3 → 9
Calls

3 calls:

13.0ms
(sqrt.f64 (*.f64 x x))
6.0ms
(-.f64 (/.f64 x x) (*.f64 (/.f64 1 x) (sqrt.f64 (*.f64 x x))))
6.0ms
(*.f64 (/.f64 1 x) (sqrt.f64 (*.f64 x x)))
Compiler

Compiled 94 to 76 computations (19.1% saved)

simplify77.0ms (0.5%)

Algorithm
1×egg-herbie
Counts
86 → 86
Iterations

Useful iterations: 0 (62.0ms)

IterNodesCost
04888577
14888577

localize4.0ms (0%)

rewrite0.0ms (0%)

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

series0.0ms (0%)

Counts
0 → 0

simplify10.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
000

prune389.0ms (2.6%)

Pruning

43 alts after pruning (42 fresh and 1 done)

PrunedKeptTotal
New444286
Fresh000
Picked000
Done112
Total454388
Error
0b
Counts
88 → 43
Compiler

Compiled 1286 to 689 computations (46.4% saved)

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

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

localize8.0ms (0.1%)

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

localize10.0ms (0.1%)

Local error

Found 6 expressions with local error:

33.2b
(-.f64 (/.f64 x x) (*.f64 (/.f64 1 x) (exp.f64 (log.f64 (fabs.f64 x)))))
5.6b
(exp.f64 (log.f64 (fabs.f64 x)))
0.1b
(*.f64 (/.f64 1 x) (exp.f64 (log.f64 (fabs.f64 x))))
0.1b
(*.f64 (/.f64 1 x) (exp.f64 (log.f64 (fabs.f64 x))))
5.6b
(exp.f64 (log.f64 (fabs.f64 x)))
33.2b
(-.f64 (/.f64 x x) (*.f64 (/.f64 1 x) (exp.f64 (log.f64 (fabs.f64 x)))))

rewrite26.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
28×add-sqr-sqrt_binary64_100
16×*-un-lft-identity_binary64_78
14×add-cube-cbrt_binary64_113
13×associate-*l*_binary64_19 times-frac_binary64_84
9×exp-sum_binary64_124 log-prod_binary64_164
8×add-cbrt-cube_binary64_114 add-exp-log_binary64_116
6×associate-*r*_binary64_18 unswap-sqr_binary64_46 pow1_binary64_139
5×add-log-exp_binary64_117
4×prod-exp_binary64_127 exp-prod_binary64_130
3×associate-*l/_binary64_21
2×cbrt-unprod_binary64_111 div-exp_binary64_129
1×*-commutative_binary64_9 cbrt-undiv_binary64_112 frac-sub_binary64_87 flip3--_binary64_82 diff-log_binary64_170 rem-exp-log_binary64_118 1-exp_binary64_122 div-inv_binary64_75 flip--_binary64_53 rec-exp_binary64_128 pow-prod-down_binary64_149 cancel-sign-sub-inv_binary64_44 log-pow_binary64_167 sub-div_binary64_85 sub-neg_binary64_71
Counts
3 → 70
Calls

6 calls:

10.0ms
(*.f64 (/.f64 1 x) (exp.f64 (log.f64 (fabs.f64 x))))
7.0ms
(-.f64 (/.f64 x x) (*.f64 (/.f64 1 x) (exp.f64 (log.f64 (fabs.f64 x)))))
2.0ms
(exp.f64 (log.f64 (fabs.f64 x)))
0.0ms
(*.f64 (/.f64 1 x) (exp.f64 (log.f64 (fabs.f64 x))))
0.0ms
(exp.f64 (log.f64 (fabs.f64 x)))

series284.0ms (1.9%)

Counts
3 → 12
Calls

3 calls:

115.0ms
(-.f64 (/.f64 x x) (*.f64 (/.f64 1 x) (exp.f64 (log.f64 (fabs.f64 x)))))
110.0ms
(*.f64 (/.f64 1 x) (exp.f64 (log.f64 (fabs.f64 x))))
59.0ms
(exp.f64 (log.f64 (fabs.f64 x)))
Compiler

Compiled 190 to 149 computations (21.6% saved)

simplify85.0ms (0.6%)

Algorithm
1×egg-herbie
Counts
82 → 82
Iterations

Useful iterations: 0 (70.0ms)

IterNodesCost
05023717

localize11.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.6b
(cbrt.f64 (/.f64 1 x))
0.5b
(*.f64 (cbrt.f64 (/.f64 1 x)) (cbrt.f64 (/.f64 1 x)))
0.3b
(*.f64 (*.f64 (cbrt.f64 (/.f64 1 x)) (cbrt.f64 (/.f64 1 x))) (*.f64 (fabs.f64 x) (cbrt.f64 (/.f64 1 x))))
0.3b
(*.f64 (fabs.f64 x) (cbrt.f64 (/.f64 1 x)))
0.6b
(cbrt.f64 (/.f64 1 x))
0.6b
(cbrt.f64 (/.f64 1 x))
0.6b
(cbrt.f64 (/.f64 1 x))
19.9b
(-.f64 (/.f64 x x) (*.f64 (*.f64 (cbrt.f64 (/.f64 1 x)) (cbrt.f64 (/.f64 1 x))) (*.f64 (fabs.f64 x) (cbrt.f64 (/.f64 1 x)))))

rewrite26.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
39×cbrt-prod_binary64_109
27×times-frac_binary64_84
25×add-sqr-sqrt_binary64_100 add-cube-cbrt_binary64_113 *-un-lft-identity_binary64_78
15×cbrt-div_binary64_110
7×frac-sub_binary64_87 associate-*r/_binary64_20
6×add-log-exp_binary64_117
5×frac-times_binary64_88 associate-*l/_binary64_21
4×add-cbrt-cube_binary64_114 add-exp-log_binary64_116 pow1_binary64_139
3×pow1/3_binary64_160 div-inv_binary64_75
1×flip3--_binary64_82 diff-log_binary64_170 flip--_binary64_53 cancel-sign-sub-inv_binary64_44 sub-neg_binary64_71
Counts
4 → 85
Calls

8 calls:

9.0ms
(-.f64 (/.f64 x x) (*.f64 (*.f64 (cbrt.f64 (/.f64 1 x)) (cbrt.f64 (/.f64 1 x))) (*.f64 (fabs.f64 x) (cbrt.f64 (/.f64 1 x)))))
2.0ms
(cbrt.f64 (/.f64 1 x))
2.0ms
(cbrt.f64 (/.f64 1 x))
2.0ms
(cbrt.f64 (/.f64 1 x))
0.0ms
(*.f64 (fabs.f64 x) (cbrt.f64 (/.f64 1 x)))

series296.0ms (2%)

Counts
4 → 15
Calls

4 calls:

81.0ms
(cbrt.f64 (/.f64 1 x))
77.0ms
(cbrt.f64 (/.f64 1 x))
73.0ms
(cbrt.f64 (/.f64 1 x))
65.0ms
(-.f64 (/.f64 x x) (*.f64 (*.f64 (cbrt.f64 (/.f64 1 x)) (cbrt.f64 (/.f64 1 x))) (*.f64 (fabs.f64 x) (cbrt.f64 (/.f64 1 x)))))
Compiler

Compiled 468 to 373 computations (20.3% saved)

simplify79.0ms (0.5%)

Algorithm
1×egg-herbie
Counts
100 → 100
Iterations

Useful iterations: 0 (58.0ms)

IterNodesCost
049991317
149991317

prune1.3s (8.7%)

Pruning

81 alts after pruning (75 fresh and 6 done)

PrunedKeptTotal
New14240182
Fresh23537
Picked000
Done066
Total14481225
Error
0b
Counts
225 → 81
Compiler

Compiled 3705 to 2319 computations (37.4% saved)

localize10.0ms (0.1%)

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

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

localize7.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.1%)

Local error

Found 8 expressions with local error:

0.5b
(*.f64 (cbrt.f64 (/.f64 1 x)) (cbrt.f64 (/.f64 1 x)))
0.3b
(*.f64 (*.f64 (cbrt.f64 (/.f64 1 x)) (cbrt.f64 (/.f64 1 x))) (*.f64 (fabs.f64 x) (/.f64 (cbrt.f64 1) (cbrt.f64 x))))
0.3b
(/.f64 (cbrt.f64 1) (cbrt.f64 x))
0.3b
(*.f64 (fabs.f64 x) (/.f64 (cbrt.f64 1) (cbrt.f64 x)))
0.6b
(cbrt.f64 x)
0.6b
(cbrt.f64 (/.f64 1 x))
0.6b
(cbrt.f64 (/.f64 1 x))
17.2b
(-.f64 (/.f64 x x) (*.f64 (*.f64 (cbrt.f64 (/.f64 1 x)) (cbrt.f64 (/.f64 1 x))) (*.f64 (fabs.f64 x) (/.f64 (cbrt.f64 1) (cbrt.f64 x)))))

rewrite24.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
29×cbrt-prod_binary64_109
19×add-sqr-sqrt_binary64_100 add-cube-cbrt_binary64_113 *-un-lft-identity_binary64_78
18×times-frac_binary64_84
10×cbrt-div_binary64_110
7×frac-sub_binary64_87 associate-*r/_binary64_20
6×add-log-exp_binary64_117
5×frac-times_binary64_88 associate-*l/_binary64_21
4×add-cbrt-cube_binary64_114 add-exp-log_binary64_116 pow1_binary64_139
3×pow1/3_binary64_160
2×div-inv_binary64_75
1×flip3--_binary64_82 diff-log_binary64_170 flip--_binary64_53 cancel-sign-sub-inv_binary64_44 sub-neg_binary64_71
Counts
4 → 74
Calls

8 calls:

10.0ms
(-.f64 (/.f64 x x) (*.f64 (*.f64 (cbrt.f64 (/.f64 1 x)) (cbrt.f64 (/.f64 1 x))) (*.f64 (fabs.f64 x) (/.f64 (cbrt.f64 1) (cbrt.f64 x)))))
3.0ms
(cbrt.f64 (/.f64 1 x))
2.0ms
(cbrt.f64 (/.f64 1 x))
1.0ms
(cbrt.f64 x)
0.0ms
(*.f64 (fabs.f64 x) (/.f64 (cbrt.f64 1) (cbrt.f64 x)))

series273.0ms (1.8%)

Counts
4 → 15
Calls

4 calls:

83.0ms
(cbrt.f64 (/.f64 1 x))
72.0ms
(cbrt.f64 (/.f64 1 x))
72.0ms
(cbrt.f64 x)
46.0ms
(-.f64 (/.f64 x x) (*.f64 (*.f64 (cbrt.f64 (/.f64 1 x)) (cbrt.f64 (/.f64 1 x))) (*.f64 (fabs.f64 x) (/.f64 (cbrt.f64 1) (cbrt.f64 x)))))
Compiler

Compiled 486 to 391 computations (19.5% saved)

simplify86.0ms (0.6%)

Algorithm
1×egg-herbie
Counts
89 → 89
Iterations

Useful iterations: 0 (67.0ms)

IterNodesCost
049381348
149381348

localize14.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.2b
(*.f64 (*.f64 (cbrt.f64 (/.f64 1 x)) (cbrt.f64 (/.f64 1 x))) (*.f64 (fabs.f64 x) (*.f64 (sqrt.f64 (cbrt.f64 (/.f64 1 x))) (sqrt.f64 (cbrt.f64 (/.f64 1 x))))))
0.2b
(*.f64 (fabs.f64 x) (*.f64 (sqrt.f64 (cbrt.f64 (/.f64 1 x))) (sqrt.f64 (cbrt.f64 (/.f64 1 x)))))
0.1b
(sqrt.f64 (cbrt.f64 (/.f64 1 x)))
0.1b
(sqrt.f64 (cbrt.f64 (/.f64 1 x)))
0.6b
(cbrt.f64 (/.f64 1 x))
0.6b
(cbrt.f64 (/.f64 1 x))
0.6b
(cbrt.f64 (/.f64 1 x))
22.5b
(-.f64 (/.f64 x x) (*.f64 (*.f64 (cbrt.f64 (/.f64 1 x)) (cbrt.f64 (/.f64 1 x))) (*.f64 (fabs.f64 x) (*.f64 (sqrt.f64 (cbrt.f64 (/.f64 1 x))) (sqrt.f64 (cbrt.f64 (/.f64 1 x)))))))

rewrite33.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
39×cbrt-prod_binary64_109
35×cbrt-div_binary64_110
27×times-frac_binary64_84
25×add-sqr-sqrt_binary64_100 add-cube-cbrt_binary64_113 *-un-lft-identity_binary64_78
23×associate-*r/_binary64_20
17×frac-times_binary64_88
16×sqrt-div_binary64_95
15×frac-sub_binary64_87
11×associate-*l/_binary64_21
6×add-log-exp_binary64_117
4×add-cbrt-cube_binary64_114 add-exp-log_binary64_116 pow1_binary64_139
3×pow1/3_binary64_160 div-inv_binary64_75
1×flip3--_binary64_82 diff-log_binary64_170 flip--_binary64_53 cancel-sign-sub-inv_binary64_44 sub-neg_binary64_71
Counts
4 → 93
Calls

8 calls:

13.0ms
(-.f64 (/.f64 x x) (*.f64 (*.f64 (cbrt.f64 (/.f64 1 x)) (cbrt.f64 (/.f64 1 x))) (*.f64 (fabs.f64 x) (*.f64 (sqrt.f64 (cbrt.f64 (/.f64 1 x))) (sqrt.f64 (cbrt.f64 (/.f64 1 x)))))))
3.0ms
(cbrt.f64 (/.f64 1 x))
3.0ms
(cbrt.f64 (/.f64 1 x))
2.0ms
(cbrt.f64 (/.f64 1 x))
0.0ms
(sqrt.f64 (cbrt.f64 (/.f64 1 x)))

series293.0ms (1.9%)

Counts
4 → 15
Calls

4 calls:

84.0ms
(cbrt.f64 (/.f64 1 x))
71.0ms
(cbrt.f64 (/.f64 1 x))
69.0ms
(cbrt.f64 (/.f64 1 x))
68.0ms
(-.f64 (/.f64 x x) (*.f64 (*.f64 (cbrt.f64 (/.f64 1 x)) (cbrt.f64 (/.f64 1 x))) (*.f64 (fabs.f64 x) (*.f64 (sqrt.f64 (cbrt.f64 (/.f64 1 x))) (sqrt.f64 (cbrt.f64 (/.f64 1 x)))))))
Compiler

Compiled 594 to 481 computations (19% saved)

simplify70.0ms (0.5%)

Algorithm
1×egg-herbie
Counts
108 → 108
Iterations

Useful iterations: 0 (43.0ms)

IterNodesCost
049531745
149531745

prune2.8s (18.7%)

Pruning

142 alts after pruning (131 fresh and 11 done)

PrunedKeptTotal
New13364197
Fresh36770
Picked000
Done01111
Total136142278
Error
0b
Counts
278 → 142
Compiler

Compiled 6944 to 4915 computations (29.2% saved)

localize8.0ms (0.1%)

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

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

localize13.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.6b
(cbrt.f64 (fabs.f64 x))
0.5b
(pow.f64 (cbrt.f64 (fabs.f64 x)) 2)
0.3b
(*.f64 (pow.f64 (cbrt.f64 (fabs.f64 x)) 2) (cbrt.f64 (fabs.f64 x)))
0.1b
(*.f64 (/.f64 1 x) (*.f64 (pow.f64 (cbrt.f64 (fabs.f64 x)) 2) (cbrt.f64 (fabs.f64 x))))
0.5b
(pow.f64 (cbrt.f64 (fabs.f64 x)) 2)
0.6b
(cbrt.f64 (fabs.f64 x))
0.6b
(cbrt.f64 (fabs.f64 x))
22.3b
(-.f64 (/.f64 x x) (*.f64 (/.f64 1 x) (*.f64 (pow.f64 (cbrt.f64 (fabs.f64 x)) 2) (cbrt.f64 (fabs.f64 x)))))

rewrite18.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
9×add-sqr-sqrt_binary64_100 add-cube-cbrt_binary64_113 cbrt-prod_binary64_109 *-un-lft-identity_binary64_78
6×add-log-exp_binary64_117 unpow-prod-down_binary64_157
5×add-exp-log_binary64_116 pow1_binary64_139
4×add-cbrt-cube_binary64_114
3×pow1/3_binary64_160 pow-unpow_binary64_155
2×pow-pow_binary64_150 associate-*l/_binary64_21
1×pow-exp_binary64_146 pow-to-exp_binary64_147 frac-sub_binary64_87 flip3--_binary64_82 unpow2_binary64_143 diff-log_binary64_170 sqr-pow_binary64_50 flip--_binary64_53 cancel-sign-sub-inv_binary64_44 sub-div_binary64_85 sub-neg_binary64_71
Counts
4 → 58
Calls

8 calls:

9.0ms
(-.f64 (/.f64 x x) (*.f64 (/.f64 1 x) (*.f64 (pow.f64 (cbrt.f64 (fabs.f64 x)) 2) (cbrt.f64 (fabs.f64 x)))))
3.0ms
(pow.f64 (cbrt.f64 (fabs.f64 x)) 2)
1.0ms
(cbrt.f64 (fabs.f64 x))
1.0ms
(cbrt.f64 (fabs.f64 x))
0.0ms
(*.f64 (/.f64 1 x) (*.f64 (pow.f64 (cbrt.f64 (fabs.f64 x)) 2) (cbrt.f64 (fabs.f64 x))))

series282.0ms (1.9%)

Counts
4 → 15
Calls

4 calls:

93.0ms
(pow.f64 (cbrt.f64 (fabs.f64 x)) 2)
82.0ms
(cbrt.f64 (fabs.f64 x))
75.0ms
(cbrt.f64 (fabs.f64 x))
31.0ms
(-.f64 (/.f64 x x) (*.f64 (/.f64 1 x) (*.f64 (pow.f64 (cbrt.f64 (fabs.f64 x)) 2) (cbrt.f64 (fabs.f64 x)))))
Compiler

Compiled 368 to 273 computations (25.8% saved)

simplify74.0ms (0.5%)

Algorithm
1×egg-herbie
Counts
73 → 73
Iterations

Useful iterations: 0 (58.0ms)

IterNodesCost
04955621
14955621

localize14.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.3b
(*.f64 (sqrt.f64 (cbrt.f64 (/.f64 1 x))) (sqrt.f64 (cbrt.f64 (/.f64 1 x))))
0.2b
(*.f64 (*.f64 (cbrt.f64 (/.f64 1 x)) (*.f64 (sqrt.f64 (cbrt.f64 (/.f64 1 x))) (sqrt.f64 (cbrt.f64 (/.f64 1 x))))) (*.f64 (fabs.f64 x) (cbrt.f64 (/.f64 1 x))))
0.1b
(sqrt.f64 (cbrt.f64 (/.f64 1 x)))
0.1b
(sqrt.f64 (cbrt.f64 (/.f64 1 x)))
0.6b
(cbrt.f64 (/.f64 1 x))
0.6b
(cbrt.f64 (/.f64 1 x))
0.6b
(cbrt.f64 (/.f64 1 x))
23.3b
(-.f64 (/.f64 x x) (*.f64 (*.f64 (cbrt.f64 (/.f64 1 x)) (*.f64 (sqrt.f64 (cbrt.f64 (/.f64 1 x))) (sqrt.f64 (cbrt.f64 (/.f64 1 x))))) (*.f64 (fabs.f64 x) (cbrt.f64 (/.f64 1 x)))))

rewrite32.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
39×cbrt-prod_binary64_109
35×cbrt-div_binary64_110
27×times-frac_binary64_84
25×add-sqr-sqrt_binary64_100 add-cube-cbrt_binary64_113 *-un-lft-identity_binary64_78
19×associate-*r/_binary64_20
17×frac-times_binary64_88
16×sqrt-div_binary64_95
15×frac-sub_binary64_87
13×associate-*l/_binary64_21
6×add-log-exp_binary64_117
4×add-cbrt-cube_binary64_114 add-exp-log_binary64_116 pow1_binary64_139
3×pow1/3_binary64_160 div-inv_binary64_75
1×flip3--_binary64_82 diff-log_binary64_170 flip--_binary64_53 cancel-sign-sub-inv_binary64_44 sub-neg_binary64_71
Counts
4 → 93
Calls

8 calls:

13.0ms
(-.f64 (/.f64 x x) (*.f64 (*.f64 (cbrt.f64 (/.f64 1 x)) (*.f64 (sqrt.f64 (cbrt.f64 (/.f64 1 x))) (sqrt.f64 (cbrt.f64 (/.f64 1 x))))) (*.f64 (fabs.f64 x) (cbrt.f64 (/.f64 1 x)))))
3.0ms
(cbrt.f64 (/.f64 1 x))
3.0ms
(cbrt.f64 (/.f64 1 x))
2.0ms
(cbrt.f64 (/.f64 1 x))
0.0ms
(sqrt.f64 (cbrt.f64 (/.f64 1 x)))

series289.0ms (1.9%)

Counts
4 → 15
Calls

4 calls:

78.0ms
(cbrt.f64 (/.f64 1 x))
74.0ms
(cbrt.f64 (/.f64 1 x))
72.0ms
(cbrt.f64 (/.f64 1 x))
64.0ms
(-.f64 (/.f64 x x) (*.f64 (*.f64 (cbrt.f64 (/.f64 1 x)) (*.f64 (sqrt.f64 (cbrt.f64 (/.f64 1 x))) (sqrt.f64 (cbrt.f64 (/.f64 1 x))))) (*.f64 (fabs.f64 x) (cbrt.f64 (/.f64 1 x)))))
Compiler

Compiled 594 to 481 computations (19% saved)

simplify70.0ms (0.5%)

Algorithm
1×egg-herbie
Counts
108 → 108
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
050021761

localize20.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.5b
(*.f64 (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (/.f64 1 x))) (cbrt.f64 (cbrt.f64 (/.f64 1 x)))) (cbrt.f64 (cbrt.f64 (/.f64 1 x)))) (cbrt.f64 (/.f64 1 x)))
0.4b
(*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (/.f64 1 x))) (cbrt.f64 (cbrt.f64 (/.f64 1 x)))) (cbrt.f64 (cbrt.f64 (/.f64 1 x))))
0.3b
(*.f64 (*.f64 (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (/.f64 1 x))) (cbrt.f64 (cbrt.f64 (/.f64 1 x)))) (cbrt.f64 (cbrt.f64 (/.f64 1 x)))) (cbrt.f64 (/.f64 1 x))) (*.f64 (fabs.f64 x) (cbrt.f64 (/.f64 1 x))))
0.3b
(*.f64 (fabs.f64 x) (cbrt.f64 (/.f64 1 x)))
0.6b
(cbrt.f64 (/.f64 1 x))
0.6b
(cbrt.f64 (/.f64 1 x))
0.6b
(cbrt.f64 (/.f64 1 x))
22.5b
(-.f64 (/.f64 x x) (*.f64 (*.f64 (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (/.f64 1 x))) (cbrt.f64 (cbrt.f64 (/.f64 1 x)))) (cbrt.f64 (cbrt.f64 (/.f64 1 x)))) (cbrt.f64 (/.f64 1 x))) (*.f64 (fabs.f64 x) (cbrt.f64 (/.f64 1 x)))))

rewrite42.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
131×cbrt-div_binary64_110
49×frac-times_binary64_88 associate-*l/_binary64_21
39×cbrt-prod_binary64_109
31×frac-sub_binary64_87 associate-*r/_binary64_20
27×times-frac_binary64_84
25×add-sqr-sqrt_binary64_100 add-cube-cbrt_binary64_113 *-un-lft-identity_binary64_78
6×add-log-exp_binary64_117
4×add-cbrt-cube_binary64_114 add-exp-log_binary64_116 pow1_binary64_139
3×pow1/3_binary64_160 div-inv_binary64_75
1×flip3--_binary64_82 diff-log_binary64_170 flip--_binary64_53 cancel-sign-sub-inv_binary64_44 sub-neg_binary64_71
Counts
4 → 109
Calls

8 calls:

17.0ms
(-.f64 (/.f64 x x) (*.f64 (*.f64 (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (/.f64 1 x))) (cbrt.f64 (cbrt.f64 (/.f64 1 x)))) (cbrt.f64 (cbrt.f64 (/.f64 1 x)))) (cbrt.f64 (/.f64 1 x))) (*.f64 (fabs.f64 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 (fabs.f64 x) (cbrt.f64 (/.f64 1 x)))

series292.0ms (1.9%)

Counts
4 → 15
Calls

4 calls:

79.0ms
(cbrt.f64 (/.f64 1 x))
77.0ms
(cbrt.f64 (/.f64 1 x))
72.0ms
(cbrt.f64 (/.f64 1 x))
64.0ms
(-.f64 (/.f64 x x) (*.f64 (*.f64 (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (/.f64 1 x))) (cbrt.f64 (cbrt.f64 (/.f64 1 x)))) (cbrt.f64 (cbrt.f64 (/.f64 1 x)))) (cbrt.f64 (/.f64 1 x))) (*.f64 (fabs.f64 x) (cbrt.f64 (/.f64 1 x)))))
Compiler

Compiled 702 to 571 computations (18.7% saved)

simplify85.0ms (0.6%)

Algorithm
1×egg-herbie
Counts
124 → 124
Iterations

Useful iterations: 0 (50.0ms)

IterNodesCost
049832896
149832896

prune4.4s (29.1%)

Pruning

227 alts after pruning (211 fresh and 16 done)

PrunedKeptTotal
New20897305
Fresh12114126
Picked000
Done01616
Total220227447
Error
0b
Counts
447 → 227
Compiler

Compiled 5467 to 3587 computations (34.4% saved)

simplify240.0ms (1.6%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (29.0ms)

IterNodesCost
0520317857

regimes1.3s (8.7%)

Compiler

Compiled 15268 to 11744 computations (23.1% saved)

bsearch0.0ms (0%)

regimes25.0ms (0.2%)

Compiler

Compiled 44 to 38 computations (13.6% saved)

bsearch30.0ms (0.2%)

Steps
ItersRangePoint
10
-6.520941627704536e-305
1.305183193119016e-302
3.02365093924785e-310
Compiler

Compiled 14 to 13 computations (7.1% saved)

simplify3.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02018
12018

end0.0ms (0%)

sample1.3s (8.7%)

Algorithm
1×intervals
Results
777.0ms3927×body2048valid
169.0ms4073×body128valid
Compiler

Compiled 7646 to 5887 computations (23% saved)

Profiling

Loading profile data...