Details

Time bar (total: 1.0min)

analyze216.0ms (0.4%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
0%50%50%3
12.5%25%62.5%4
18.7%12.5%68.8%5
21.9%6.2%71.9%6
23.4%3.1%73.5%7
24.2%1.6%74.2%8
24.6%0.8%74.6%9
24.8%0.4%74.8%10
24.9%0.2%74.9%11
24.9%0.1%75%12
25%0%75%13
25%0%75%14
Compiler

Compiled 8 to 8 computations (0% saved)

sample17.0ms (0%)

Algorithm
1×intervals
Results
10.0ms256×body128valid
0.0ms1×body128nan
Compiler

Compiled 15 to 16 computations (-6.7% saved)

simplify103.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
02011
12011

prune3.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 7 computations (0% saved)

localize7.0ms (0%)

Local error

Found 2 expressions with local error:

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

rewrite13.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
17×add-sqr-sqrt_binary64
14×log-prod_binary64
11×*-un-lft-identity_binary64
6×difference-of-squares_binary64 times-frac_binary64
3×difference-of-sqr-1_binary64
2×pow1_binary64 add-cube-cbrt_binary64 add-exp-log_binary64 distribute-lft-out--_binary64 log-div_binary64
1×add-log-exp_binary64 flip3--_binary64 rem-log-exp_binary64 log-pow_binary64 add-cbrt-cube_binary64 div-inv_binary64 flip--_binary64
Counts
1 → 25
Calls

2 calls:

10.0ms
(log.f64 (-.f64 (/.f64 1 x) 1))
0.0ms
(log.f64 (-.f64 (/.f64 1 x) 1))

series38.0ms (0.1%)

Counts
1 → 6
Calls

1 calls:

37.0ms
(log.f64 (-.f64 (/.f64 1 x) 1))
Compiler

Compiled 61 to 57 computations (6.6% saved)

simplify88.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
31 → 31
Iterations

Useful iterations: 0 (76.0ms)

IterNodesCost
04924480
14924480

prune81.0ms (0.1%)

Pruning

16 alts after pruning (15 fresh and 1 done)

PrunedKeptTotal
New161531
Fresh000
Picked000
Done011
Total161632
Error
0b
Counts
32 → 16
Compiler

Compiled 415 to 363 computations (12.5% saved)

localize9.0ms (0%)

Local error

Found 8 expressions with local error:

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

rewrite48.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
72×add-sqr-sqrt_binary64
56×sqrt-prod_binary64
46×*-un-lft-identity_binary64
34×log-prod_binary64
24×difference-of-squares_binary64 times-frac_binary64
12×difference-of-sqr-1_binary64
10×pow1_binary64 add-cube-cbrt_binary64
8×distribute-lft-out--_binary64 sqrt-div_binary64
6×log-pow_binary64 add-exp-log_binary64
4×add-log-exp_binary64 pow1/2_binary64 flip3--_binary64 add-cbrt-cube_binary64 sqrt-pow1_binary64 div-inv_binary64 log-div_binary64 flip--_binary64
2×rem-log-exp_binary64 rem-sqrt-square_binary64
Counts
4 → 112
Calls

8 calls:

13.0ms
(log.f64 (sqrt.f64 (-.f64 (/.f64 1 x) 1)))
9.0ms
(log.f64 (sqrt.f64 (-.f64 (/.f64 1 x) 1)))
8.0ms
(sqrt.f64 (-.f64 (/.f64 1 x) 1))
8.0ms
(sqrt.f64 (-.f64 (/.f64 1 x) 1))
0.0ms
(log.f64 (sqrt.f64 (-.f64 (/.f64 1 x) 1)))

series65.0ms (0.1%)

Counts
4 → 12
Calls

4 calls:

18.0ms
(log.f64 (sqrt.f64 (-.f64 (/.f64 1 x) 1)))
18.0ms
(log.f64 (sqrt.f64 (-.f64 (/.f64 1 x) 1)))
15.0ms
(sqrt.f64 (-.f64 (/.f64 1 x) 1))
14.0ms
(sqrt.f64 (-.f64 (/.f64 1 x) 1))
Compiler

Compiled 396 to 374 computations (5.6% saved)

simplify123.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
124 → 124
Iterations

Useful iterations: 0 (94.0ms)

IterNodesCost
048752038
148752038

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

localize7.0ms (0%)

Local error

Found 2 expressions with local error:

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

rewrite10.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
17×add-sqr-sqrt_binary64
14×log-prod_binary64
11×*-un-lft-identity_binary64
6×difference-of-squares_binary64 times-frac_binary64
3×difference-of-sqr-1_binary64
2×pow1_binary64 add-cube-cbrt_binary64 add-exp-log_binary64 distribute-lft-out--_binary64 log-div_binary64
1×add-log-exp_binary64 flip3--_binary64 rem-log-exp_binary64 log-pow_binary64 add-cbrt-cube_binary64 div-inv_binary64 flip--_binary64
Counts
1 → 25
Calls

2 calls:

7.0ms
(log.f64 (-.f64 (/.f64 1 x) 1))
0.0ms
(log.f64 (-.f64 (/.f64 1 x) 1))

series19.0ms (0%)

Counts
1 → 6
Calls

1 calls:

19.0ms
(log.f64 (-.f64 (/.f64 1 x) 1))
Compiler

Compiled 77 to 73 computations (5.2% saved)

simplify85.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
31 → 31
Iterations

Useful iterations: 0 (75.0ms)

IterNodesCost
04924480
14924480

localize7.0ms (0%)

Local error

Found 2 expressions with local error:

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

rewrite13.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
17×add-sqr-sqrt_binary64
14×log-prod_binary64
11×*-un-lft-identity_binary64
6×difference-of-squares_binary64 times-frac_binary64
3×difference-of-sqr-1_binary64
2×pow1_binary64 add-cube-cbrt_binary64 add-exp-log_binary64 distribute-lft-out--_binary64 log-div_binary64
1×add-log-exp_binary64 flip3--_binary64 rem-log-exp_binary64 log-pow_binary64 add-cbrt-cube_binary64 div-inv_binary64 flip--_binary64
Counts
1 → 25
Calls

2 calls:

10.0ms
(log.f64 (-.f64 (/.f64 1 x) 1))
0.0ms
(log.f64 (-.f64 (/.f64 1 x) 1))

series18.0ms (0%)

Counts
1 → 6
Calls

1 calls:

18.0ms
(log.f64 (-.f64 (/.f64 1 x) 1))
Compiler

Compiled 77 to 73 computations (5.2% saved)

simplify86.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
31 → 31
Iterations

Useful iterations: 0 (76.0ms)

IterNodesCost
04924480
14924480

localize9.0ms (0%)

Local error

Found 6 expressions with local error:

1.2b
(exp.f64 (log.f64 (log.f64 (-.f64 (/.f64 1 x) 1))))
0.0b
(log.f64 (log.f64 (-.f64 (/.f64 1 x) 1)))
0.0b
(log.f64 (-.f64 (/.f64 1 x) 1))
0.0b
(log.f64 (-.f64 (/.f64 1 x) 1))
0.0b
(log.f64 (log.f64 (-.f64 (/.f64 1 x) 1)))
1.2b
(exp.f64 (log.f64 (log.f64 (-.f64 (/.f64 1 x) 1))))

rewrite15.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
22×log-prod_binary64 add-sqr-sqrt_binary64
16×*-un-lft-identity_binary64
8×pow1_binary64
7×add-cube-cbrt_binary64
6×difference-of-squares_binary64 times-frac_binary64
5×log-pow_binary64 add-exp-log_binary64
4×exp-sum_binary64 exp-prod_binary64
3×add-log-exp_binary64 difference-of-sqr-1_binary64 add-cbrt-cube_binary64
2×rem-log-exp_binary64 distribute-lft-out--_binary64 log-div_binary64
1×flip3--_binary64 rem-exp-log_binary64 div-inv_binary64 flip--_binary64
Counts
3 → 54
Calls

6 calls:

7.0ms
(log.f64 (-.f64 (/.f64 1 x) 1))
2.0ms
(exp.f64 (log.f64 (log.f64 (-.f64 (/.f64 1 x) 1))))
1.0ms
(log.f64 (log.f64 (-.f64 (/.f64 1 x) 1)))
0.0ms
(log.f64 (-.f64 (/.f64 1 x) 1))
0.0ms
(log.f64 (log.f64 (-.f64 (/.f64 1 x) 1)))

series106.0ms (0.2%)

Counts
3 → 18
Calls

3 calls:

49.0ms
(exp.f64 (log.f64 (log.f64 (-.f64 (/.f64 1 x) 1))))
39.0ms
(log.f64 (log.f64 (-.f64 (/.f64 1 x) 1)))
17.0ms
(log.f64 (-.f64 (/.f64 1 x) 1))
Compiler

Compiled 363 to 285 computations (21.5% saved)

simplify67.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
72 → 72
Iterations

Useful iterations: 0 (52.0ms)

IterNodesCost
053801055

prune1.6s (2.6%)

Pruning

85 alts after pruning (79 fresh and 6 done)

PrunedKeptTotal
New18771258
Fresh2810
Picked000
Done066
Total18985274
Error
0b
Counts
274 → 85
Compiler

Compiled 3961 to 3437 computations (13.2% saved)

localize15.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b
(sqrt.f64 (-.f64 (/.f64 1 x) 1))
0.1b
(sqrt.f64 (-.f64 (/.f64 1 x) 1))
0.0b
(log.f64 (sqrt.f64 (-.f64 (/.f64 1 x) 1)))
0.0b
(log.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (-.f64 (/.f64 1 x) 1))) (cbrt.f64 (sqrt.f64 (-.f64 (/.f64 1 x) 1)))) (cbrt.f64 (sqrt.f64 (-.f64 (/.f64 1 x) 1)))))
0.5b
(cbrt.f64 (sqrt.f64 (-.f64 (/.f64 1 x) 1)))
0.5b
(cbrt.f64 (sqrt.f64 (-.f64 (/.f64 1 x) 1)))
0.5b
(cbrt.f64 (sqrt.f64 (-.f64 (/.f64 1 x) 1)))
0.5b
(*.f64 (cbrt.f64 (sqrt.f64 (-.f64 (/.f64 1 x) 1))) (cbrt.f64 (sqrt.f64 (-.f64 (/.f64 1 x) 1))))

rewrite92.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
165×add-sqr-sqrt_binary64
159×cbrt-prod_binary64
130×sqrt-prod_binary64
111×*-un-lft-identity_binary64
50×times-frac_binary64
48×difference-of-squares_binary64
34×swap-sqr_binary64
27×difference-of-sqr-1_binary64
22×add-cube-cbrt_binary64 distribute-lft-out--_binary64
20×associate-*r*_binary64 associate-*l*_binary64
18×cbrt-div_binary64 sqrt-div_binary64
11×pow1_binary64 div-inv_binary64
9×flip3--_binary64 pow1/3_binary64 unswap-sqr_binary64 flip--_binary64
6×add-exp-log_binary64
4×add-log-exp_binary64 add-cbrt-cube_binary64 frac-times_binary64
2×pow-prod-down_binary64 pow-prod-up_binary64 associate-*r/_binary64 pow-sqr_binary64 associate-*l/_binary64
1×cbrt-unprod_binary64 pow-plus_binary64 prod-exp_binary64 pow2_binary64 *-commutative_binary64
Counts
4 → 190
Calls

8 calls:

36.0ms
(*.f64 (cbrt.f64 (sqrt.f64 (-.f64 (/.f64 1 x) 1))) (cbrt.f64 (sqrt.f64 (-.f64 (/.f64 1 x) 1))))
9.0ms
(cbrt.f64 (sqrt.f64 (-.f64 (/.f64 1 x) 1)))
9.0ms
(cbrt.f64 (sqrt.f64 (-.f64 (/.f64 1 x) 1)))
9.0ms
(cbrt.f64 (sqrt.f64 (-.f64 (/.f64 1 x) 1)))
0.0ms
(log.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (-.f64 (/.f64 1 x) 1))) (cbrt.f64 (sqrt.f64 (-.f64 (/.f64 1 x) 1)))) (cbrt.f64 (sqrt.f64 (-.f64 (/.f64 1 x) 1)))))

series186.0ms (0.3%)

Counts
4 → 24
Calls

4 calls:

52.0ms
(*.f64 (cbrt.f64 (sqrt.f64 (-.f64 (/.f64 1 x) 1))) (cbrt.f64 (sqrt.f64 (-.f64 (/.f64 1 x) 1))))
46.0ms
(cbrt.f64 (sqrt.f64 (-.f64 (/.f64 1 x) 1)))
45.0ms
(cbrt.f64 (sqrt.f64 (-.f64 (/.f64 1 x) 1)))
44.0ms
(cbrt.f64 (sqrt.f64 (-.f64 (/.f64 1 x) 1)))
Compiler

Compiled 1200 to 1096 computations (8.7% saved)

simplify132.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
214 → 214
Iterations

Useful iterations: 0 (78.0ms)

IterNodesCost
049065163
149065163

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%)

Local error

Found 8 expressions with local error:

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

rewrite80.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
110×add-sqr-sqrt_binary64
105×times-frac_binary64
80×*-un-lft-identity_binary64
50×add-cube-cbrt_binary64
43×log-prod_binary64
21×difference-of-squares_binary64
19×associate--l+_binary64
14×add-exp-log_binary64
13×pow1_binary64 associate-/l*_binary64 div-inv_binary64
10×difference-of-sqr-1_binary64
9×add-cbrt-cube_binary64
6×add-log-exp_binary64 log-pow_binary64 distribute-lft-out--_binary64 div-exp_binary64 log-div_binary64
5×associate--r+_binary64
4×distribute-lft-out_binary64 cancel-sign-sub-inv_binary64
3×associate-/r*_binary64 flip3--_binary64 cbrt-undiv_binary64 flip--_binary64
2×flip3-+_binary64 associate--l-_binary64 pow-div_binary64 associate--r-_binary64 flip-+_binary64
1×associate-/l/_binary64 sub-neg_binary64 diff-log_binary64 1-exp_binary64 rem-log-exp_binary64 clear-num_binary64 inv-pow_binary64 frac-2neg_binary64 rec-exp_binary64 +-commutative_binary64 pow-flip_binary64 sum-log_binary64
Counts
4 → 165
Calls

8 calls:

32.0ms
(-.f64 (log.f64 (-.f64 (/.f64 (/.f64 1 x) x) 1)) (log.f64 (+.f64 1 (/.f64 1 x))))
17.0ms
(log.f64 (-.f64 (/.f64 (/.f64 1 x) x) 1))
7.0ms
(/.f64 (/.f64 1 x) x)
6.0ms
(+.f64 1 (/.f64 1 x))
0.0ms
(+.f64 1 (/.f64 1 x))

series107.0ms (0.2%)

Counts
4 → 21
Calls

4 calls:

37.0ms
(log.f64 (-.f64 (/.f64 (/.f64 1 x) x) 1))
27.0ms
(-.f64 (log.f64 (-.f64 (/.f64 (/.f64 1 x) x) 1)) (log.f64 (+.f64 1 (/.f64 1 x))))
24.0ms
(/.f64 (/.f64 1 x) x)
18.0ms
(+.f64 1 (/.f64 1 x))
Compiler

Compiled 486 to 448 computations (7.8% saved)

simplify93.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
186 → 186
Iterations

Useful iterations: 0 (57.0ms)

IterNodesCost
049172886
149172886

localize11.0ms (0%)

Local error

Found 6 expressions with local error:

1.2b
(exp.f64 (+.f64 (log.f64 1) (log.f64 (log.f64 (-.f64 (/.f64 1 x) 1)))))
0.0b
(log.f64 (log.f64 (-.f64 (/.f64 1 x) 1)))
0.0b
(log.f64 (-.f64 (/.f64 1 x) 1))
0.0b
(log.f64 (-.f64 (/.f64 1 x) 1))
0.0b
(log.f64 (log.f64 (-.f64 (/.f64 1 x) 1)))
1.2b
(exp.f64 (+.f64 (log.f64 1) (log.f64 (log.f64 (-.f64 (/.f64 1 x) 1)))))

rewrite19.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
21×add-sqr-sqrt_binary64
19×*-un-lft-identity_binary64
18×log-prod_binary64
10×pow1_binary64
7×log-pow_binary64 exp-prod_binary64
6×add-cube-cbrt_binary64 difference-of-squares_binary64 times-frac_binary64
5×add-exp-log_binary64
4×add-log-exp_binary64 distribute-lft-out_binary64
3×difference-of-sqr-1_binary64 add-cbrt-cube_binary64
2×rem-log-exp_binary64 rem-exp-log_binary64 distribute-lft-out--_binary64 log-div_binary64
1×flip3--_binary64 exp-sum_binary64 div-inv_binary64 flip--_binary64 sum-log_binary64
Counts
3 → 55
Calls

6 calls:

8.0ms
(log.f64 (-.f64 (/.f64 1 x) 1))
5.0ms
(exp.f64 (+.f64 (log.f64 1) (log.f64 (log.f64 (-.f64 (/.f64 1 x) 1)))))
1.0ms
(log.f64 (log.f64 (-.f64 (/.f64 1 x) 1)))
0.0ms
(log.f64 (-.f64 (/.f64 1 x) 1))
0.0ms
(exp.f64 (+.f64 (log.f64 1) (log.f64 (log.f64 (-.f64 (/.f64 1 x) 1)))))

series104.0ms (0.2%)

Counts
3 → 18
Calls

3 calls:

44.0ms
(exp.f64 (+.f64 (log.f64 1) (log.f64 (log.f64 (-.f64 (/.f64 1 x) 1)))))
40.0ms
(log.f64 (log.f64 (-.f64 (/.f64 1 x) 1)))
20.0ms
(log.f64 (-.f64 (/.f64 1 x) 1))
Compiler

Compiled 411 to 333 computations (19% saved)

simplify70.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
73 → 73
Iterations

Useful iterations: 0 (54.0ms)

IterNodesCost
054741024

localize14.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b
(+.f64 (*.f64 (log.f64 (cbrt.f64 (-.f64 (/.f64 1 x) 1))) 2) (log.f64 (cbrt.f64 (-.f64 (/.f64 1 x) 1))))
0.0b
(log.f64 (+.f64 (*.f64 (log.f64 (cbrt.f64 (-.f64 (/.f64 1 x) 1))) 2) (log.f64 (cbrt.f64 (-.f64 (/.f64 1 x) 1)))))
0.0b
(log.f64 (cbrt.f64 (-.f64 (/.f64 1 x) 1)))
0.0b
(log.f64 (cbrt.f64 (-.f64 (/.f64 1 x) 1)))
0.2b
(+.f64 (*.f64 (log.f64 (cbrt.f64 (-.f64 (/.f64 1 x) 1))) 2) (log.f64 (cbrt.f64 (-.f64 (/.f64 1 x) 1))))
0.5b
(cbrt.f64 (-.f64 (/.f64 1 x) 1))
0.5b
(cbrt.f64 (-.f64 (/.f64 1 x) 1))
1.2b
(exp.f64 (log.f64 (+.f64 (*.f64 (log.f64 (cbrt.f64 (-.f64 (/.f64 1 x) 1))) 2) (log.f64 (cbrt.f64 (-.f64 (/.f64 1 x) 1))))))

rewrite48.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
55×add-sqr-sqrt_binary64
42×cbrt-prod_binary64
37×*-un-lft-identity_binary64
20×log-prod_binary64
18×difference-of-squares_binary64 times-frac_binary64
17×associate-+r+_binary64
10×add-cube-cbrt_binary64
9×difference-of-sqr-1_binary64
6×cbrt-div_binary64 distribute-lft-out--_binary64
5×add-log-exp_binary64 pow1_binary64
4×add-exp-log_binary64 add-cbrt-cube_binary64 log-div_binary64 exp-prod_binary64
3×flip3--_binary64 exp-sum_binary64 div-inv_binary64 flip--_binary64
2×flip3-+_binary64 associate-+r-_binary64 pow1/3_binary64 exp-diff_binary64 flip-+_binary64
1×log-pow_binary64 rem-exp-log_binary64 +-commutative_binary64 sum-log_binary64
Counts
4 → 95
Calls

8 calls:

14.0ms
(+.f64 (*.f64 (log.f64 (cbrt.f64 (-.f64 (/.f64 1 x) 1))) 2) (log.f64 (cbrt.f64 (-.f64 (/.f64 1 x) 1))))
7.0ms
(cbrt.f64 (-.f64 (/.f64 1 x) 1))
7.0ms
(cbrt.f64 (-.f64 (/.f64 1 x) 1))
6.0ms
(exp.f64 (log.f64 (+.f64 (*.f64 (log.f64 (cbrt.f64 (-.f64 (/.f64 1 x) 1))) 2) (log.f64 (cbrt.f64 (-.f64 (/.f64 1 x) 1))))))
0.0ms
(log.f64 (cbrt.f64 (-.f64 (/.f64 1 x) 1)))

series200.0ms (0.3%)

Counts
4 → 26
Calls

4 calls:

74.0ms
(exp.f64 (log.f64 (+.f64 (*.f64 (log.f64 (cbrt.f64 (-.f64 (/.f64 1 x) 1))) 2) (log.f64 (cbrt.f64 (-.f64 (/.f64 1 x) 1))))))
45.0ms
(cbrt.f64 (-.f64 (/.f64 1 x) 1))
43.0ms
(cbrt.f64 (-.f64 (/.f64 1 x) 1))
37.0ms
(+.f64 (*.f64 (log.f64 (cbrt.f64 (-.f64 (/.f64 1 x) 1))) 2) (log.f64 (cbrt.f64 (-.f64 (/.f64 1 x) 1))))
Compiler

Compiled 798 to 750 computations (6% saved)

simplify94.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
121 → 121
Iterations

Useful iterations: 0 (64.0ms)

IterNodesCost
049702222
149702222

prune12.2s (20.3%)

Pruning

224 alts after pruning (213 fresh and 11 done)

PrunedKeptTotal
New447147594
Fresh86674
Picked000
Done01111
Total455224679
Error
0b
Counts
679 → 224
Compiler

Compiled 15347 to 13299 computations (13.3% saved)

localize18.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b
(sqrt.f64 (-.f64 (/.f64 1 x) 1))
0.1b
(sqrt.f64 (-.f64 (/.f64 1 x) 1))
0.0b
(log.f64 (sqrt.f64 (-.f64 (/.f64 1 x) 1)))
0.0b
(log.f64 (*.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 (-.f64 (/.f64 1 x) 1))) (cbrt.f64 (sqrt.f64 (-.f64 (/.f64 1 x) 1)))))
0.1b
(sqrt.f64 (-.f64 (/.f64 1 x) 1))
0.3b
(*.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 (-.f64 (/.f64 1 x) 1))) (cbrt.f64 (sqrt.f64 (-.f64 (/.f64 1 x) 1))))
0.5b
(cbrt.f64 (sqrt.f64 (-.f64 (/.f64 1 x) 1)))
0.5b
(cbrt.f64 (-.f64 (/.f64 1 x) 1))

rewrite66.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
72×add-sqr-sqrt_binary64
48×cbrt-prod_binary64
47×*-un-lft-identity_binary64
42×sqrt-prod_binary64
24×difference-of-squares_binary64 times-frac_binary64
20×associate-*r*_binary64
16×cbrt-div_binary64
12×difference-of-sqr-1_binary64
11×add-cube-cbrt_binary64
10×pow1_binary64 sqrt-div_binary64
9×flip3--_binary64 add-exp-log_binary64 flip--_binary64
8×associate-*r/_binary64 distribute-lft-out--_binary64
5×pow-prod-down_binary64 pow1/3_binary64 add-cbrt-cube_binary64
4×add-log-exp_binary64 div-inv_binary64 frac-times_binary64
3×cbrt-unprod_binary64 prod-exp_binary64
2×associate-*l/_binary64
1×pow1/2_binary64 associate-*l*_binary64 sqrt-pow1_binary64 rem-sqrt-square_binary64 *-commutative_binary64
Counts
4 → 121
Calls

8 calls:

26.0ms
(*.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 (-.f64 (/.f64 1 x) 1))) (cbrt.f64 (sqrt.f64 (-.f64 (/.f64 1 x) 1))))
9.0ms
(cbrt.f64 (sqrt.f64 (-.f64 (/.f64 1 x) 1)))
8.0ms
(sqrt.f64 (-.f64 (/.f64 1 x) 1))
8.0ms
(cbrt.f64 (-.f64 (/.f64 1 x) 1))
0.0ms
(log.f64 (*.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 (-.f64 (/.f64 1 x) 1))) (cbrt.f64 (sqrt.f64 (-.f64 (/.f64 1 x) 1)))))

series143.0ms (0.2%)

Counts
4 → 19
Calls

4 calls:

47.0ms
(cbrt.f64 (-.f64 (/.f64 1 x) 1))
43.0ms
(cbrt.f64 (sqrt.f64 (-.f64 (/.f64 1 x) 1)))
33.0ms
(*.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 (-.f64 (/.f64 1 x) 1))) (cbrt.f64 (sqrt.f64 (-.f64 (/.f64 1 x) 1))))
19.0ms
(sqrt.f64 (-.f64 (/.f64 1 x) 1))
Compiler

Compiled 860 to 798 computations (7.2% saved)

simplify120.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
140 → 140
Iterations

Useful iterations: 0 (90.0ms)

IterNodesCost
048682527
148682527

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

localize10.0ms (0%)

Local error

Found 6 expressions with local error:

1.2b
(exp.f64 (log.f64 (log.f64 (-.f64 (/.f64 1 x) 1))))
0.0b
(log.f64 (log.f64 (-.f64 (/.f64 1 x) 1)))
0.0b
(log.f64 (-.f64 (/.f64 1 x) 1))
0.0b
(log.f64 (-.f64 (/.f64 1 x) 1))
0.0b
(log.f64 (log.f64 (-.f64 (/.f64 1 x) 1)))
1.2b
(exp.f64 (log.f64 (log.f64 (-.f64 (/.f64 1 x) 1))))

rewrite16.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
22×log-prod_binary64 add-sqr-sqrt_binary64
16×*-un-lft-identity_binary64
8×pow1_binary64
7×add-cube-cbrt_binary64
6×difference-of-squares_binary64 times-frac_binary64
5×log-pow_binary64 add-exp-log_binary64
4×exp-sum_binary64 exp-prod_binary64
3×add-log-exp_binary64 difference-of-sqr-1_binary64 add-cbrt-cube_binary64
2×rem-log-exp_binary64 distribute-lft-out--_binary64 log-div_binary64
1×flip3--_binary64 rem-exp-log_binary64 div-inv_binary64 flip--_binary64
Counts
3 → 54
Calls

6 calls:

8.0ms
(log.f64 (-.f64 (/.f64 1 x) 1))
2.0ms
(exp.f64 (log.f64 (log.f64 (-.f64 (/.f64 1 x) 1))))
1.0ms
(log.f64 (log.f64 (-.f64 (/.f64 1 x) 1)))
0.0ms
(log.f64 (-.f64 (/.f64 1 x) 1))
0.0ms
(exp.f64 (log.f64 (log.f64 (-.f64 (/.f64 1 x) 1))))

series110.0ms (0.2%)

Counts
3 → 18
Calls

3 calls:

49.0ms
(exp.f64 (log.f64 (log.f64 (-.f64 (/.f64 1 x) 1))))
40.0ms
(log.f64 (log.f64 (-.f64 (/.f64 1 x) 1)))
20.0ms
(log.f64 (-.f64 (/.f64 1 x) 1))
Compiler

Compiled 411 to 333 computations (19% saved)

simplify72.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
72 → 72
Iterations

Useful iterations: 0 (53.0ms)

IterNodesCost
053801055

localize15.0ms (0%)

Local error

Found 8 expressions with local error:

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

rewrite25.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
31×*-un-lft-identity_binary64
29×add-sqr-sqrt_binary64
26×sqrt-prod_binary64
22×times-frac_binary64
21×add-cube-cbrt_binary64
18×pow1_binary64
14×log-prod_binary64
10×log-pow_binary64
8×distribute-lft-out_binary64
7×exp-sum_binary64
6×sqrt-pow1_binary64 rem-sqrt-square_binary64
5×add-exp-log_binary64
4×add-log-exp_binary64 add-cbrt-cube_binary64 log-div_binary64 exp-prod_binary64
2×flip3-+_binary64 pow1/2_binary64 exp-diff_binary64 inv-pow_binary64 div-inv_binary64 pow-flip_binary64 flip-+_binary64 sqrt-div_binary64
1×rem-log-exp_binary64 rem-exp-log_binary64
Counts
4 → 95
Calls

8 calls:

5.0ms
(exp.f64 (log.f64 (+.f64 (log.f64 (+.f64 1 (sqrt.f64 (/.f64 1 x)))) (log.f64 (-.f64 (sqrt.f64 (/.f64 1 x)) 1)))))
4.0ms
(log.f64 (+.f64 (log.f64 (+.f64 1 (sqrt.f64 (/.f64 1 x)))) (log.f64 (-.f64 (sqrt.f64 (/.f64 1 x)) 1))))
3.0ms
(sqrt.f64 (/.f64 1 x))
3.0ms
(sqrt.f64 (/.f64 1 x))
0.0ms
(+.f64 1 (sqrt.f64 (/.f64 1 x)))

series132.0ms (0.2%)

Counts
4 → 12
Calls

4 calls:

55.0ms
(exp.f64 (log.f64 (+.f64 (log.f64 (+.f64 1 (sqrt.f64 (/.f64 1 x)))) (log.f64 (-.f64 (sqrt.f64 (/.f64 1 x)) 1)))))
45.0ms
(log.f64 (+.f64 (log.f64 (+.f64 1 (sqrt.f64 (/.f64 1 x)))) (log.f64 (-.f64 (sqrt.f64 (/.f64 1 x)) 1))))
18.0ms
(sqrt.f64 (/.f64 1 x))
14.0ms
(sqrt.f64 (/.f64 1 x))
Compiler

Compiled 490 to 450 computations (8.2% saved)

simplify108.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
107 → 107
Iterations

Useful iterations: 0 (84.0ms)

IterNodesCost
048781967
148781967

localize24.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(log.f64 (+.f64 1 (/.f64 1 x)))
0.0b
(log.f64 (+.f64 1 (/.f64 1 x)))
0.0b
(+.f64 1 (/.f64 1 x))
0.0b
(+.f64 1 (/.f64 1 x))
0.3b
(*.f64 (+.f64 (sqrt.f64 (log.f64 (-.f64 (/.f64 (/.f64 1 x) x) 1))) (sqrt.f64 (log.f64 (+.f64 1 (/.f64 1 x))))) (-.f64 (sqrt.f64 (log.f64 (-.f64 (/.f64 (/.f64 1 x) x) 1))) (sqrt.f64 (log.f64 (+.f64 1 (/.f64 1 x))))))
0.8b
(-.f64 (sqrt.f64 (log.f64 (-.f64 (/.f64 (/.f64 1 x) x) 1))) (sqrt.f64 (log.f64 (+.f64 1 (/.f64 1 x)))))
28.4b
(log.f64 (-.f64 (/.f64 (/.f64 1 x) x) 1))
28.4b
(log.f64 (-.f64 (/.f64 (/.f64 1 x) x) 1))

rewrite92.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
90×add-sqr-sqrt_binary64
52×*-un-lft-identity_binary64
44×sqrt-prod_binary64
38×log-prod_binary64
30×times-frac_binary64
28×difference-of-squares_binary64
23×pow1_binary64
21×cancel-sign-sub-inv_binary64
17×log-pow_binary64
14×add-cube-cbrt_binary64
12×associate-*r*_binary64 distribute-lft-out--_binary64
10×difference-of-sqr-1_binary64
8×add-exp-log_binary64 distribute-lft-in_binary64 associate-*l*_binary64 distribute-rgt-in_binary64
6×add-log-exp_binary64 flip3--_binary64 add-cbrt-cube_binary64 div-inv_binary64 flip--_binary64
5×distribute-lft-out_binary64
4×log-div_binary64 frac-times_binary64
3×flip3-+_binary64 sub-neg_binary64 flip-+_binary64
2×rem-log-exp_binary64 associate-*r/_binary64 associate-*l/_binary64
1×pow-prod-down_binary64 diff-log_binary64 cbrt-unprod_binary64 unswap-sqr_binary64 prod-exp_binary64 *-commutative_binary64
Counts
4 → 143
Calls

8 calls:

27.0ms
(*.f64 (+.f64 (sqrt.f64 (log.f64 (-.f64 (/.f64 (/.f64 1 x) x) 1))) (sqrt.f64 (log.f64 (+.f64 1 (/.f64 1 x))))) (-.f64 (sqrt.f64 (log.f64 (-.f64 (/.f64 (/.f64 1 x) x) 1))) (sqrt.f64 (log.f64 (+.f64 1 (/.f64 1 x))))))
17.0ms
(log.f64 (-.f64 (/.f64 (/.f64 1 x) x) 1))
17.0ms
(log.f64 (-.f64 (/.f64 (/.f64 1 x) x) 1))
7.0ms
(-.f64 (sqrt.f64 (log.f64 (-.f64 (/.f64 (/.f64 1 x) x) 1))) (sqrt.f64 (log.f64 (+.f64 1 (/.f64 1 x)))))
0.0ms
(+.f64 1 (/.f64 1 x))

series327.0ms (0.5%)

Counts
4 → 24
Calls

4 calls:

154.0ms
(*.f64 (+.f64 (sqrt.f64 (log.f64 (-.f64 (/.f64 (/.f64 1 x) x) 1))) (sqrt.f64 (log.f64 (+.f64 1 (/.f64 1 x))))) (-.f64 (sqrt.f64 (log.f64 (-.f64 (/.f64 (/.f64 1 x) x) 1))) (sqrt.f64 (log.f64 (+.f64 1 (/.f64 1 x))))))
86.0ms
(-.f64 (sqrt.f64 (log.f64 (-.f64 (/.f64 (/.f64 1 x) x) 1))) (sqrt.f64 (log.f64 (+.f64 1 (/.f64 1 x)))))
46.0ms
(log.f64 (-.f64 (/.f64 (/.f64 1 x) x) 1))
41.0ms
(log.f64 (-.f64 (/.f64 (/.f64 1 x) x) 1))
Compiler

Compiled 1140 to 962 computations (15.6% saved)

simplify119.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
167 → 167
Iterations

Useful iterations: 0 (62.0ms)

IterNodesCost
049635881
149635881

prune15.7s (26%)

Pruning

343 alts after pruning (328 fresh and 15 done)

PrunedKeptTotal
New345141486
Fresh21187208
Picked000
Done11516
Total367343710
Error
0b
Counts
710 → 343
Compiler

Compiled 9506 to 8051 computations (15.3% saved)

simplify475.0ms (0.8%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (33.0ms)

IterNodesCost
0514332827

regimes7.8s (12.9%)

Compiler

Compiled 83904 to 74576 computations (11.1% saved)

bsearch0.0ms (0%)

regimes507.0ms (0.8%)

Compiler

Compiled 4104 to 3634 computations (11.5% saved)

bsearch0.0ms (0%)

regimes13.0ms (0%)

Compiler

Compiled 16 to 19 computations (-18.8% saved)

bsearch0.0ms (0%)

regimes10.0ms (0%)

Compiler

Compiled 10 to 14 computations (-40% saved)

bsearch0.0ms (0%)

regimes8.0ms (0%)

Compiler

Compiled 5 to 8 computations (-60% saved)

bsearch0.0ms (0%)

regimes7.0ms (0%)

Accuracy

Total 0.0b remaining (99.5%)

Threshold costs 0.0b (99.5%)

Compiler

Compiled 4 to 6 computations (-50% saved)

bsearch5.0ms (0%)

Compiler

Compiled 34 to 35 computations (-2.9% saved)

simplify4.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
09049
19049

end0.0ms (0%)

sample18.1s (29.9%)

Algorithm
1×intervals
Results
292.0ms8000×body128valid
0.0ms5×body128nan
Compiler

Compiled 16732 to 14873 computations (11.1% saved)

Pareto

0.7521026412319681

Profiling

Loading profile data...