Details

Time bar (total: 6.4min)

analyze861.0ms (0.2%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.8%0.2%0
0%99.8%0.2%1
0%99.8%0.2%2
0%99.8%0.2%3
0%99.8%0.2%4
0%99.8%0.2%5
0%99.8%0.2%6
0%99.8%0.2%7
7.8%92%0.2%8
7.8%92%0.2%9
10.9%88.9%0.2%10
34.7%65.1%0.2%11
43.1%56.7%0.2%12
44.2%55.7%0.2%13
49.5%50.3%0.2%14
Compiler

Compiled 16 to 13 computations (18.8% saved)

sample30.0ms (0%)

Algorithm
1×intervals
Results
18.0ms249×body128valid
1.0ms18×body128invalid
1.0ms5×body512valid
0.0ms1×body1024valid
0.0ms1×body256valid
Compiler

Compiled 31 to 29 computations (6.5% saved)

simplify155.0ms (0%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (59.0ms)

IterNodesCost
0515523

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 15 to 12 computations (20% saved)

localize13.0ms (0%)

Local error

Found 8 expressions with local error:

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

rewrite41.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
18×frac-sub_binary64_10999
14×tanh-def-a_binary64_11177 tanh-def-b_binary64_11178 tanh-def-c_binary64_11179
12×*-un-lft-identity_binary64_10990 add-sqr-sqrt_binary64_11012
11×associate-*r/_binary64_10932
9×pow1_binary64_11051 add-exp-log_binary64_11028 add-cbrt-cube_binary64_11026 cancel-sign-sub-inv_binary64_10956
8×add-cube-cbrt_binary64_11025
6×add-log-exp_binary64_11029
5×associate-*r*_binary64_10930
4×distribute-rgt-in_binary64_10940 distribute-lft-in_binary64_10939
3×prod-exp_binary64_11039 sub-neg_binary64_10983 cbrt-unprod_binary64_11023 pow-prod-down_binary64_11061
2×flip3--_binary64_10994 distribute-lft-out--_binary64_10942 flip--_binary64_10965 difference-of-squares_binary64_10959
1×diff-log_binary64_11082 associate-*l*_binary64_10931 *-commutative_binary64_10921
Counts
4 → 84
Calls

8 calls:

16.0ms
(*.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))
8.0ms
(-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))
2.0ms
(tanh.f64 (/.f64 t y))
2.0ms
(tanh.f64 (/.f64 x y))
0.0ms
(+.f64 x (*.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))

series1.9s (0.5%)

Counts
4 → 46
Calls

4 calls:

1.1s
(*.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))
531.0ms
(-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))
161.0ms
(tanh.f64 (/.f64 x y))
110.0ms
(tanh.f64 (/.f64 t y))
Compiler

Compiled 3186 to 2412 computations (24.3% saved)

simplify75.0ms (0%)

Algorithm
1×egg-herbie
Counts
130 → 130
Iterations

Useful iterations: 0 (36.0ms)

IterNodesCost
050003570

prune562.0ms (0.1%)

Pruning

60 alts after pruning (59 fresh and 1 done)

PrunedKeptTotal
New7159130
Fresh000
Picked000
Done011
Total7160131
Error
0.0b
Counts
131 → 60
Compiler

Compiled 4550 to 2094 computations (54% saved)

localize12.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(tanh.f64 (/.f64 x y))
0.0b
(tanh.f64 (/.f64 t y))
0.0b
(-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))
0.0b
(+.f64 x (*.f64 y (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))))
0.0b
(-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))
0.0b
(tanh.f64 (/.f64 x y))
0.8b
(*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))
3.8b
(*.f64 y (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))

rewrite51.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
33×associate-*r/_binary64_10932
27×frac-sub_binary64_10999
21×cancel-sign-sub-inv_binary64_10956
20×distribute-rgt-in_binary64_10940 add-sqr-sqrt_binary64_11012 distribute-lft-in_binary64_10939
19×tanh-def-a_binary64_11177 tanh-def-b_binary64_11178 tanh-def-c_binary64_11179
18×*-un-lft-identity_binary64_10990
14×add-cube-cbrt_binary64_11025
11×pow1_binary64_11051 add-exp-log_binary64_11028 add-cbrt-cube_binary64_11026
7×sub-neg_binary64_10983
6×add-log-exp_binary64_11029 associate-*r*_binary64_10930 associate-*l*_binary64_10931
4×prod-exp_binary64_11039 cbrt-unprod_binary64_11023 pow-prod-down_binary64_11061
3×flip3--_binary64_10994 flip--_binary64_10965
2×distribute-lft-out--_binary64_10942 difference-of-squares_binary64_10959 *-commutative_binary64_10921
1×diff-log_binary64_11082 unswap-sqr_binary64_10958
Counts
4 → 119
Calls

8 calls:

16.0ms
(*.f64 y (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))
12.0ms
(*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))
7.0ms
(-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))
2.0ms
(tanh.f64 (/.f64 x y))
0.0ms
(+.f64 x (*.f64 y (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))))

series2.8s (0.7%)

Counts
4 → 57
Calls

4 calls:

1.1s
(*.f64 y (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))
990.0ms
(*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))
535.0ms
(-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))
148.0ms
(tanh.f64 (/.f64 x y))
Compiler

Compiled 4378 to 3287 computations (24.9% saved)

simplify108.0ms (0%)

Algorithm
1×egg-herbie
Counts
176 → 176
Iterations

Useful iterations: 0 (58.0ms)

IterNodesCost
050095258

localize6.0ms (0%)

Local error

Found 4 expressions with local error:

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

rewrite18.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
12×add-sqr-sqrt_binary64_11012 cancel-sign-sub-inv_binary64_10956
10×*-un-lft-identity_binary64_10990
8×associate-+r+_binary64_10922 add-cube-cbrt_binary64_11025 distribute-rgt-in_binary64_10940 distribute-lft-in_binary64_10939
5×associate-*r*_binary64_10930
4×pow1_binary64_11051 add-log-exp_binary64_11029 add-exp-log_binary64_11028 add-cbrt-cube_binary64_11026 sub-neg_binary64_10983
3×associate-*l*_binary64_10931
2×associate-*r/_binary64_10932
1×flip3--_binary64_10994 sum-log_binary64_11081 prod-exp_binary64_11039 distribute-lft-out--_binary64_10942 flip--_binary64_10965 unswap-sqr_binary64_10958 flip3-+_binary64_10993 flip-+_binary64_10964 difference-of-squares_binary64_10959 +-commutative_binary64_10920 cbrt-unprod_binary64_11023 *-commutative_binary64_10921 pow-prod-down_binary64_11061
Counts
2 → 49
Calls

4 calls:

10.0ms
(*.f64 z (-.f64 t x))
4.0ms
(+.f64 x (*.f64 z (-.f64 t x)))
0.0ms
(+.f64 x (*.f64 z (-.f64 t x)))
0.0ms
(*.f64 z (-.f64 t x))

series236.0ms (0.1%)

Counts
2 → 33
Calls

2 calls:

134.0ms
(+.f64 x (*.f64 z (-.f64 t x)))
102.0ms
(*.f64 z (-.f64 t x))
Compiler

Compiled 387 to 379 computations (2.1% saved)

simplify75.0ms (0%)

Algorithm
1×egg-herbie
Counts
82 → 82
Iterations

Useful iterations: 0 (61.0ms)

IterNodesCost
05278764

localize27.0ms (0%)

Local error

Found 8 expressions with local error:

4.5b
(/.f64 (pow.f64 x 3) y)
3.8b
(/.f64 (pow.f64 t 3) y)
3.1b
(-.f64 (/.f64 (pow.f64 x 3) y) (/.f64 (pow.f64 t 3) y))
0.6b
(/.f64 1/3 (*.f64 y y))
5.2b
(-.f64 (*.f64 (/.f64 1/3 (*.f64 y y)) (-.f64 (/.f64 (pow.f64 x 3) y) (/.f64 (pow.f64 t 3) y))) (/.f64 x y))
5.9b
(+.f64 (/.f64 t y) (-.f64 (*.f64 (/.f64 1/3 (*.f64 y y)) (-.f64 (/.f64 (pow.f64 x 3) y) (/.f64 (pow.f64 t 3) y))) (/.f64 x y)))
9.6b
(*.f64 (/.f64 1/3 (*.f64 y y)) (-.f64 (/.f64 (pow.f64 x 3) y) (/.f64 (pow.f64 t 3) y)))
14.7b
(*.f64 (*.f64 y z) (+.f64 (/.f64 t y) (-.f64 (*.f64 (/.f64 1/3 (*.f64 y y)) (-.f64 (/.f64 (pow.f64 x 3) y) (/.f64 (pow.f64 t 3) y))) (/.f64 x y))))

rewrite739.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
308×times-frac_binary64_10996
266×cancel-sign-sub-inv_binary64_10956
248×add-sqr-sqrt_binary64_11012
200×*-un-lft-identity_binary64_10990
164×associate--l+_binary64_10927 add-cube-cbrt_binary64_11025
124×distribute-rgt-in_binary64_10940 distribute-lft-in_binary64_10939
96×associate-+r+_binary64_10922
76×cube-prod_binary64_11018 unpow-prod-down_binary64_11069
49×associate-*r*_binary64_10930
35×frac-sub_binary64_10999
33×associate-*r/_binary64_10932
28×sqr-pow_binary64_10962
25×difference-of-squares_binary64_10959
24×frac-add_binary64_10998
18×add-exp-log_binary64_11028 unpow3_binary64_11056 add-cbrt-cube_binary64_11026 cube-mult_binary64_11020
16×distribute-lft-out--_binary64_10942 frac-times_binary64_11000
14×sub-div_binary64_10997
11×flip3--_binary64_10994 flip--_binary64_10965 pow1_binary64_11051 add-log-exp_binary64_11029 div-inv_binary64_10987
8×sub-neg_binary64_10983 associate-*l*_binary64_10931
7×prod-exp_binary64_11039 cbrt-unprod_binary64_11023
4×associate-*l/_binary64_10933 pow-prod-down_binary64_11061
2×sum-log_binary64_11081 distribute-lft-out_binary64_10941 diff-log_binary64_11082 unswap-sqr_binary64_10958 div-exp_binary64_11041 flip3-+_binary64_10993 flip-+_binary64_10964 *-commutative_binary64_10921 cbrt-undiv_binary64_11024
1×distribute-rgt-out--_binary64_10944 associate-+r-_binary64_10924 +-commutative_binary64_10920
Counts
4 → 433
Calls

8 calls:

351.0ms
(+.f64 (/.f64 t y) (-.f64 (*.f64 (/.f64 1/3 (*.f64 y y)) (-.f64 (/.f64 (pow.f64 x 3) y) (/.f64 (pow.f64 t 3) y))) (/.f64 x y)))
107.0ms
(*.f64 (*.f64 y z) (+.f64 (/.f64 t y) (-.f64 (*.f64 (/.f64 1/3 (*.f64 y y)) (-.f64 (/.f64 (pow.f64 x 3) y) (/.f64 (pow.f64 t 3) y))) (/.f64 x y))))
98.0ms
(-.f64 (*.f64 (/.f64 1/3 (*.f64 y y)) (-.f64 (/.f64 (pow.f64 x 3) y) (/.f64 (pow.f64 t 3) y))) (/.f64 x y))
97.0ms
(*.f64 (/.f64 1/3 (*.f64 y y)) (-.f64 (/.f64 (pow.f64 x 3) y) (/.f64 (pow.f64 t 3) y)))
0.0ms
(/.f64 1/3 (*.f64 y y))

series2.8s (0.7%)

Counts
4 → 79
Calls

4 calls:

1.2s
(*.f64 (*.f64 y z) (+.f64 (/.f64 t y) (-.f64 (*.f64 (/.f64 1/3 (*.f64 y y)) (-.f64 (/.f64 (pow.f64 x 3) y) (/.f64 (pow.f64 t 3) y))) (/.f64 x y))))
701.0ms
(+.f64 (/.f64 t y) (-.f64 (*.f64 (/.f64 1/3 (*.f64 y y)) (-.f64 (/.f64 (pow.f64 x 3) y) (/.f64 (pow.f64 t 3) y))) (/.f64 x y)))
493.0ms
(-.f64 (*.f64 (/.f64 1/3 (*.f64 y y)) (-.f64 (/.f64 (pow.f64 x 3) y) (/.f64 (pow.f64 t 3) y))) (/.f64 x y))
388.0ms
(*.f64 (/.f64 1/3 (*.f64 y y)) (-.f64 (/.f64 (pow.f64 x 3) y) (/.f64 (pow.f64 t 3) y)))
Compiler

Compiled 3161 to 2544 computations (19.5% saved)

simplify194.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
512 → 512
Iterations

Useful iterations: 0 (53.0ms)

IterNodesCost
0498015415
1498015415

localize16.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(tanh.f64 (/.f64 x y))
0.0b
(tanh.f64 (/.f64 t y))
0.0b
(tanh.f64 (/.f64 t y))
0.0b
(-.f64 (*.f64 (sqrt.f64 (tanh.f64 (/.f64 t y))) (sqrt.f64 (tanh.f64 (/.f64 t y)))) (tanh.f64 (/.f64 x y)))
0.1b
(*.f64 (sqrt.f64 (tanh.f64 (/.f64 t y))) (sqrt.f64 (tanh.f64 (/.f64 t y))))
2.4b
(*.f64 (*.f64 y z) (-.f64 (*.f64 (sqrt.f64 (tanh.f64 (/.f64 t y))) (sqrt.f64 (tanh.f64 (/.f64 t y)))) (tanh.f64 (/.f64 x y))))
6.1b
(sqrt.f64 (tanh.f64 (/.f64 t y)))
6.1b
(sqrt.f64 (tanh.f64 (/.f64 t y)))

rewrite70.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
102×sqrt-div_binary64_11007
59×associate-*r/_binary64_10932
49×tanh-def-a_binary64_11177 tanh-def-b_binary64_11178 tanh-def-c_binary64_11179
45×frac-sub_binary64_10999
36×frac-times_binary64_11000
34×add-sqr-sqrt_binary64_11012
26×pow1_binary64_11051
24×sqrt-prod_binary64_11006
17×add-cube-cbrt_binary64_11025 *-un-lft-identity_binary64_10990
12×associate-*l/_binary64_10933
11×add-exp-log_binary64_11028 add-cbrt-cube_binary64_11026
10×pow1/2_binary64_11070 associate-*r*_binary64_10930 sqrt-pow1_binary64_11008
8×swap-sqr_binary64_10957
7×associate-*l*_binary64_10931
6×pow-prod-down_binary64_11061 cancel-sign-sub-inv_binary64_10956
5×pow-prod-up_binary64_11060
4×prod-exp_binary64_11039 add-log-exp_binary64_11029 rem-sqrt-square_binary64_11003 unswap-sqr_binary64_10958 cbrt-unprod_binary64_11023 distribute-rgt-in_binary64_10940 distribute-lft-in_binary64_10939
3×pow-sqr_binary64_10963
2×sub-neg_binary64_10983 *-commutative_binary64_10921
1×flip3--_binary64_10994 flip--_binary64_10965 pow-plus_binary64_11053 sqrt-unprod_binary64_11010 sqr-abs_binary64_11005 pow2_binary64_11071 difference-of-squares_binary64_10959 rem-square-sqrt_binary64_11002
Counts
4 → 171
Calls

8 calls:

27.0ms
(*.f64 (*.f64 y z) (-.f64 (*.f64 (sqrt.f64 (tanh.f64 (/.f64 t y))) (sqrt.f64 (tanh.f64 (/.f64 t y)))) (tanh.f64 (/.f64 x y))))
10.0ms
(*.f64 (sqrt.f64 (tanh.f64 (/.f64 t y))) (sqrt.f64 (tanh.f64 (/.f64 t y))))
3.0ms
(sqrt.f64 (tanh.f64 (/.f64 t y)))
3.0ms
(sqrt.f64 (tanh.f64 (/.f64 t y)))
0.0ms
(-.f64 (*.f64 (sqrt.f64 (tanh.f64 (/.f64 t y))) (sqrt.f64 (tanh.f64 (/.f64 t y)))) (tanh.f64 (/.f64 x y)))

series1.4s (0.4%)

Counts
4 → 35
Calls

4 calls:

1.1s
(*.f64 (*.f64 y z) (-.f64 (*.f64 (sqrt.f64 (tanh.f64 (/.f64 t y))) (sqrt.f64 (tanh.f64 (/.f64 t y)))) (tanh.f64 (/.f64 x y))))
128.0ms
(sqrt.f64 (tanh.f64 (/.f64 t y)))
119.0ms
(sqrt.f64 (tanh.f64 (/.f64 t y)))
109.0ms
(*.f64 (sqrt.f64 (tanh.f64 (/.f64 t y))) (sqrt.f64 (tanh.f64 (/.f64 t y))))
Compiler

Compiled 2492 to 1870 computations (25% saved)

simplify110.0ms (0%)

Algorithm
1×egg-herbie
Counts
206 → 206
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
050047123

localize35.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(*.f64 (/.f64 t y) -2)
0.0b
(*.f64 y (exp.f64 (*.f64 (/.f64 x y) -2)))
0.0b
(*.f64 z (-.f64 (+.f64 (/.f64 (*.f64 y (exp.f64 (*.f64 (/.f64 x y) -2))) (+.f64 1 (exp.f64 (*.f64 (/.f64 x y) -2)))) (/.f64 y (+.f64 1 (exp.f64 (*.f64 (/.f64 t y) -2))))) (+.f64 (/.f64 y (+.f64 1 (exp.f64 (*.f64 (/.f64 x y) -2)))) (*.f64 (/.f64 y (+.f64 1 (exp.f64 (*.f64 (/.f64 t y) -2)))) (exp.f64 (*.f64 (/.f64 t y) -2))))))
0.0b
(+.f64 x (*.f64 z (-.f64 (+.f64 (/.f64 (*.f64 y (exp.f64 (*.f64 (/.f64 x y) -2))) (+.f64 1 (exp.f64 (*.f64 (/.f64 x y) -2)))) (/.f64 y (+.f64 1 (exp.f64 (*.f64 (/.f64 t y) -2))))) (+.f64 (/.f64 y (+.f64 1 (exp.f64 (*.f64 (/.f64 x y) -2)))) (*.f64 (/.f64 y (+.f64 1 (exp.f64 (*.f64 (/.f64 t y) -2)))) (exp.f64 (*.f64 (/.f64 t y) -2)))))))
0.1b
(exp.f64 (*.f64 (/.f64 x y) -2))
0.8b
(*.f64 (/.f64 y (+.f64 1 (exp.f64 (*.f64 (/.f64 t y) -2)))) (exp.f64 (*.f64 (/.f64 t y) -2)))
0.8b
(/.f64 (*.f64 y (exp.f64 (*.f64 (/.f64 x y) -2))) (+.f64 1 (exp.f64 (*.f64 (/.f64 x y) -2))))
2.0b
(-.f64 (+.f64 (/.f64 (*.f64 y (exp.f64 (*.f64 (/.f64 x y) -2))) (+.f64 1 (exp.f64 (*.f64 (/.f64 x y) -2)))) (/.f64 y (+.f64 1 (exp.f64 (*.f64 (/.f64 t y) -2))))) (+.f64 (/.f64 y (+.f64 1 (exp.f64 (*.f64 (/.f64 x y) -2)))) (*.f64 (/.f64 y (+.f64 1 (exp.f64 (*.f64 (/.f64 t y) -2)))) (exp.f64 (*.f64 (/.f64 t y) -2)))))

rewrite86.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
31×*-un-lft-identity_binary64_10990
23×add-sqr-sqrt_binary64_11012
18×add-log-exp_binary64_11029 associate-*l*_binary64_10931
17×times-frac_binary64_10996
16×add-cube-cbrt_binary64_11025
14×add-cbrt-cube_binary64_11026
11×add-exp-log_binary64_11028
9×frac-sub_binary64_10999
8×frac-add_binary64_10998 flip3-+_binary64_10993 flip-+_binary64_10964
6×pow1_binary64_11051 distribute-lft-out_binary64_10941
5×associate-*l/_binary64_10933
4×sum-log_binary64_11081 diff-log_binary64_11082 associate-/r*_binary64_10934 associate-/r/_binary64_10936
3×prod-exp_binary64_11039 associate-*r*_binary64_10930 div-exp_binary64_11041 cbrt-unprod_binary64_11023 cbrt-undiv_binary64_11024 cancel-sign-sub-inv_binary64_10956
2×distribute-lft-out--_binary64_10942 unswap-sqr_binary64_10958 div-inv_binary64_10987
1×flip3--_binary64_10994 associate--l+_binary64_10927 flip--_binary64_10965 associate--r+_binary64_10926 clear-num_binary64_10989 associate-/l*_binary64_10935 exp-prod_binary64_11042 sub-neg_binary64_10983 difference-of-squares_binary64_10959 sub-div_binary64_10997 frac-2neg_binary64_11001 exp-to-pow_binary64_11052 rem-exp-log_binary64_11030 *-commutative_binary64_10921 pow-prod-down_binary64_11061
Counts
4 → 104
Calls

8 calls:

35.0ms
(-.f64 (+.f64 (/.f64 (*.f64 y (exp.f64 (*.f64 (/.f64 x y) -2))) (+.f64 1 (exp.f64 (*.f64 (/.f64 x y) -2)))) (/.f64 y (+.f64 1 (exp.f64 (*.f64 (/.f64 t y) -2))))) (+.f64 (/.f64 y (+.f64 1 (exp.f64 (*.f64 (/.f64 x y) -2)))) (*.f64 (/.f64 y (+.f64 1 (exp.f64 (*.f64 (/.f64 t y) -2)))) (exp.f64 (*.f64 (/.f64 t y) -2)))))
12.0ms
(*.f64 (/.f64 y (+.f64 1 (exp.f64 (*.f64 (/.f64 t y) -2)))) (exp.f64 (*.f64 (/.f64 t y) -2)))
10.0ms
(/.f64 (*.f64 y (exp.f64 (*.f64 (/.f64 x y) -2))) (+.f64 1 (exp.f64 (*.f64 (/.f64 x y) -2))))
3.0ms
(exp.f64 (*.f64 (/.f64 x y) -2))
0.0ms
(+.f64 x (*.f64 z (-.f64 (+.f64 (/.f64 (*.f64 y (exp.f64 (*.f64 (/.f64 x y) -2))) (+.f64 1 (exp.f64 (*.f64 (/.f64 x y) -2)))) (/.f64 y (+.f64 1 (exp.f64 (*.f64 (/.f64 t y) -2))))) (+.f64 (/.f64 y (+.f64 1 (exp.f64 (*.f64 (/.f64 x y) -2)))) (*.f64 (/.f64 y (+.f64 1 (exp.f64 (*.f64 (/.f64 t y) -2)))) (exp.f64 (*.f64 (/.f64 t y) -2)))))))

series1.4s (0.4%)

Counts
4 → 50
Calls

4 calls:

932.0ms
(-.f64 (+.f64 (/.f64 (*.f64 y (exp.f64 (*.f64 (/.f64 x y) -2))) (+.f64 1 (exp.f64 (*.f64 (/.f64 x y) -2)))) (/.f64 y (+.f64 1 (exp.f64 (*.f64 (/.f64 t y) -2))))) (+.f64 (/.f64 y (+.f64 1 (exp.f64 (*.f64 (/.f64 x y) -2)))) (*.f64 (/.f64 y (+.f64 1 (exp.f64 (*.f64 (/.f64 t y) -2)))) (exp.f64 (*.f64 (/.f64 t y) -2)))))
206.0ms
(/.f64 (*.f64 y (exp.f64 (*.f64 (/.f64 x y) -2))) (+.f64 1 (exp.f64 (*.f64 (/.f64 x y) -2))))
148.0ms
(*.f64 (/.f64 y (+.f64 1 (exp.f64 (*.f64 (/.f64 t y) -2)))) (exp.f64 (*.f64 (/.f64 t y) -2)))
75.0ms
(exp.f64 (*.f64 (/.f64 x y) -2))
Compiler

Compiled 4123 to 3016 computations (26.8% saved)

simplify115.0ms (0%)

Algorithm
1×egg-herbie
Counts
154 → 154
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
050538412

prune25.0s (6.6%)

Pruning

438 alts after pruning (432 fresh and 6 done)

PrunedKeptTotal
New7333971130
Fresh193554
Picked000
Done066
Total7524381190
Error
0b
Counts
1190 → 438
Compiler

Compiled 50900 to 28157 computations (44.7% saved)

localize13.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(tanh.f64 (/.f64 x y))
0.0b
(tanh.f64 (/.f64 t y))
0.0b
(+.f64 (tanh.f64 (/.f64 t y)) (neg.f64 (tanh.f64 (/.f64 x y))))
0.0b
(+.f64 x (*.f64 y (*.f64 z (+.f64 (tanh.f64 (/.f64 t y)) (neg.f64 (tanh.f64 (/.f64 x y)))))))
0.0b
(+.f64 (tanh.f64 (/.f64 t y)) (neg.f64 (tanh.f64 (/.f64 x y))))
0.0b
(tanh.f64 (/.f64 x y))
0.8b
(*.f64 z (+.f64 (tanh.f64 (/.f64 t y)) (neg.f64 (tanh.f64 (/.f64 x y)))))
3.8b
(*.f64 y (*.f64 z (+.f64 (tanh.f64 (/.f64 t y)) (neg.f64 (tanh.f64 (/.f64 x y))))))

rewrite50.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
33×associate-*r/_binary64_10932
27×frac-add_binary64_10998 distribute-neg-frac_binary64_10954
19×tanh-def-a_binary64_11177 tanh-def-b_binary64_11178 tanh-def-c_binary64_11179
15×*-un-lft-identity_binary64_10990
11×pow1_binary64_11051 add-exp-log_binary64_11028 add-cbrt-cube_binary64_11026
9×add-sqr-sqrt_binary64_11012
8×add-log-exp_binary64_11029
7×add-cube-cbrt_binary64_11025
6×associate-*r*_binary64_10930 associate-*l*_binary64_10931
5×distribute-rgt-in_binary64_10940 distribute-lft-in_binary64_10939
4×prod-exp_binary64_11039 distribute-lft-out_binary64_10941 cbrt-unprod_binary64_11023 pow-prod-down_binary64_11061
3×flip3-+_binary64_10993 flip-+_binary64_10964
2×sum-log_binary64_11081 *-commutative_binary64_10921 distribute-rgt-neg-in_binary64_10948
1×neg-log_binary64_11083 unswap-sqr_binary64_10958 associate-+r-_binary64_10924 +-commutative_binary64_10920 neg-sub0_binary64_10985 unsub-neg_binary64_10984
Counts
4 → 101
Calls

8 calls:

16.0ms
(*.f64 y (*.f64 z (+.f64 (tanh.f64 (/.f64 t y)) (neg.f64 (tanh.f64 (/.f64 x y))))))
12.0ms
(*.f64 z (+.f64 (tanh.f64 (/.f64 t y)) (neg.f64 (tanh.f64 (/.f64 x y)))))
8.0ms
(+.f64 (tanh.f64 (/.f64 t y)) (neg.f64 (tanh.f64 (/.f64 x y))))
2.0ms
(tanh.f64 (/.f64 x y))
0.0ms
(+.f64 x (*.f64 y (*.f64 z (+.f64 (tanh.f64 (/.f64 t y)) (neg.f64 (tanh.f64 (/.f64 x y)))))))

series2.8s (0.7%)

Counts
4 → 57
Calls

4 calls:

1.1s
(*.f64 y (*.f64 z (+.f64 (tanh.f64 (/.f64 t y)) (neg.f64 (tanh.f64 (/.f64 x y))))))
967.0ms
(*.f64 z (+.f64 (tanh.f64 (/.f64 t y)) (neg.f64 (tanh.f64 (/.f64 x y)))))
585.0ms
(+.f64 (tanh.f64 (/.f64 t y)) (neg.f64 (tanh.f64 (/.f64 x y))))
144.0ms
(tanh.f64 (/.f64 x y))
Compiler

Compiled 4393 to 3302 computations (24.8% saved)

simplify82.0ms (0%)

Algorithm
1×egg-herbie
Counts
158 → 158
Iterations

Useful iterations: 0 (38.0ms)

IterNodesCost
051854780

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

localize22.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(+.f64 (exp.f64 (*.f64 (/.f64 x y) -2)) 1)
0.0b
(+.f64 (exp.f64 (*.f64 (/.f64 x y) -2)) 1)
0.0b
(*.f64 y (exp.f64 (*.f64 (/.f64 x y) -2)))
0.0b
(+.f64 x (*.f64 z (+.f64 t (-.f64 (/.f64 (*.f64 y (exp.f64 (*.f64 (/.f64 x y) -2))) (+.f64 (exp.f64 (*.f64 (/.f64 x y) -2)) 1)) (/.f64 y (+.f64 (exp.f64 (*.f64 (/.f64 x y) -2)) 1))))))
0.1b
(exp.f64 (*.f64 (/.f64 x y) -2))
0.1b
(exp.f64 (*.f64 (/.f64 x y) -2))
0.8b
(/.f64 (*.f64 y (exp.f64 (*.f64 (/.f64 x y) -2))) (+.f64 (exp.f64 (*.f64 (/.f64 x y) -2)) 1))
1.5b
(-.f64 (/.f64 (*.f64 y (exp.f64 (*.f64 (/.f64 x y) -2))) (+.f64 (exp.f64 (*.f64 (/.f64 x y) -2)) 1)) (/.f64 y (+.f64 (exp.f64 (*.f64 (/.f64 x y) -2)) 1)))

rewrite45.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
26×*-un-lft-identity_binary64_10990
19×add-sqr-sqrt_binary64_11012
18×cancel-sign-sub-inv_binary64_10956
17×times-frac_binary64_10996
14×add-cube-cbrt_binary64_11025
10×add-log-exp_binary64_11029
9×add-cbrt-cube_binary64_11026
8×add-exp-log_binary64_11028 associate-/r/_binary64_10936
5×distribute-lft-out_binary64_10941
4×pow1_binary64_11051 flip3-+_binary64_10993 associate-/r*_binary64_10934 flip-+_binary64_10964 div-inv_binary64_10987
3×distribute-rgt-out--_binary64_10944
2×exp-prod_binary64_11042 div-exp_binary64_11041 difference-of-squares_binary64_10959 exp-to-pow_binary64_11052 rem-exp-log_binary64_11030 cbrt-undiv_binary64_11024
1×flip3--_binary64_10994 prod-exp_binary64_11039 distribute-lft-out--_binary64_10942 flip--_binary64_10965 frac-sub_binary64_10999 clear-num_binary64_10989 diff-log_binary64_11082 associate-/l*_binary64_10935 sub-neg_binary64_10983 sub-div_binary64_10997 cbrt-unprod_binary64_11023 frac-2neg_binary64_11001
Counts
4 → 82
Calls

8 calls:

23.0ms
(-.f64 (/.f64 (*.f64 y (exp.f64 (*.f64 (/.f64 x y) -2))) (+.f64 (exp.f64 (*.f64 (/.f64 x y) -2)) 1)) (/.f64 y (+.f64 (exp.f64 (*.f64 (/.f64 x y) -2)) 1)))
9.0ms
(/.f64 (*.f64 y (exp.f64 (*.f64 (/.f64 x y) -2))) (+.f64 (exp.f64 (*.f64 (/.f64 x y) -2)) 1))
2.0ms
(exp.f64 (*.f64 (/.f64 x y) -2))
2.0ms
(exp.f64 (*.f64 (/.f64 x y) -2))
0.0ms
(+.f64 x (*.f64 z (+.f64 t (-.f64 (/.f64 (*.f64 y (exp.f64 (*.f64 (/.f64 x y) -2))) (+.f64 (exp.f64 (*.f64 (/.f64 x y) -2)) 1)) (/.f64 y (+.f64 (exp.f64 (*.f64 (/.f64 x y) -2)) 1))))))

series591.0ms (0.2%)

Counts
4 → 51
Calls

4 calls:

292.0ms
(-.f64 (/.f64 (*.f64 y (exp.f64 (*.f64 (/.f64 x y) -2))) (+.f64 (exp.f64 (*.f64 (/.f64 x y) -2)) 1)) (/.f64 y (+.f64 (exp.f64 (*.f64 (/.f64 x y) -2)) 1)))
182.0ms
(/.f64 (*.f64 y (exp.f64 (*.f64 (/.f64 x y) -2))) (+.f64 (exp.f64 (*.f64 (/.f64 x y) -2)) 1))
59.0ms
(exp.f64 (*.f64 (/.f64 x y) -2))
59.0ms
(exp.f64 (*.f64 (/.f64 x y) -2))
Compiler

Compiled 2325 to 1796 computations (22.8% saved)

simplify94.0ms (0%)

Algorithm
1×egg-herbie
Counts
133 → 133
Iterations

Useful iterations: 0 (63.0ms)

IterNodesCost
049572906
149572906

localize41.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(*.f64 (/.f64 t y) -2)
0.0b
(*.f64 (/.f64 t y) -2)
0.0b
(*.f64 y (exp.f64 (*.f64 (/.f64 x y) -2)))
0.0b
(*.f64 2 (*.f64 (/.f64 x y) (/.f64 x y)))
0.8b
(*.f64 (/.f64 y (+.f64 1 (exp.f64 (*.f64 (/.f64 t y) -2)))) (exp.f64 (*.f64 (/.f64 t y) -2)))
0.8b
(/.f64 (*.f64 y (exp.f64 (*.f64 (/.f64 x y) -2))) (+.f64 1 (exp.f64 (*.f64 (/.f64 x y) -2))))
2.4b
(+.f64 (*.f64 (/.f64 x y) -2) (+.f64 1 (*.f64 2 (*.f64 (/.f64 x y) (/.f64 x y)))))
3.2b
(-.f64 (+.f64 (/.f64 (*.f64 y (exp.f64 (*.f64 (/.f64 x y) -2))) (+.f64 1 (exp.f64 (*.f64 (/.f64 x y) -2)))) (/.f64 y (+.f64 1 (exp.f64 (*.f64 (/.f64 t y) -2))))) (+.f64 (/.f64 y (+.f64 1 (+.f64 (*.f64 (/.f64 x y) -2) (+.f64 1 (*.f64 2 (*.f64 (/.f64 x y) (/.f64 x y))))))) (*.f64 (/.f64 y (+.f64 1 (exp.f64 (*.f64 (/.f64 t y) -2)))) (exp.f64 (*.f64 (/.f64 t y) -2)))))

rewrite101.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
31×*-un-lft-identity_binary64_10990
23×add-sqr-sqrt_binary64_11012
21×add-log-exp_binary64_11029
18×associate-*l*_binary64_10931
17×times-frac_binary64_10996
16×add-cube-cbrt_binary64_11025
14×add-cbrt-cube_binary64_11026
11×add-exp-log_binary64_11028
10×flip3-+_binary64_10993 flip-+_binary64_10964
9×frac-sub_binary64_10999
8×frac-add_binary64_10998
7×sum-log_binary64_11081
6×pow1_binary64_11051 distribute-lft-out_binary64_10941 associate-*l/_binary64_10933
4×diff-log_binary64_11082 associate-/r*_binary64_10934 associate-/r/_binary64_10936
3×prod-exp_binary64_11039 associate-*r*_binary64_10930 div-exp_binary64_11041 cbrt-unprod_binary64_11023 cbrt-undiv_binary64_11024 cancel-sign-sub-inv_binary64_10956
2×distribute-lft-out--_binary64_10942 unswap-sqr_binary64_10958 div-inv_binary64_10987
1×flip3--_binary64_10994 associate--l+_binary64_10927 flip--_binary64_10965 associate-+r+_binary64_10922 associate--r+_binary64_10926 clear-num_binary64_10989 associate-/l*_binary64_10935 sub-neg_binary64_10983 difference-of-squares_binary64_10959 +-commutative_binary64_10920 frac-2neg_binary64_11001 *-commutative_binary64_10921 pow-prod-down_binary64_11061
Counts
4 → 108
Calls

8 calls:

45.0ms
(-.f64 (+.f64 (/.f64 (*.f64 y (exp.f64 (*.f64 (/.f64 x y) -2))) (+.f64 1 (exp.f64 (*.f64 (/.f64 x y) -2)))) (/.f64 y (+.f64 1 (exp.f64 (*.f64 (/.f64 t y) -2))))) (+.f64 (/.f64 y (+.f64 1 (+.f64 (*.f64 (/.f64 x y) -2) (+.f64 1 (*.f64 2 (*.f64 (/.f64 x y) (/.f64 x y))))))) (*.f64 (/.f64 y (+.f64 1 (exp.f64 (*.f64 (/.f64 t y) -2)))) (exp.f64 (*.f64 (/.f64 t y) -2)))))
11.0ms
(*.f64 (/.f64 y (+.f64 1 (exp.f64 (*.f64 (/.f64 t y) -2)))) (exp.f64 (*.f64 (/.f64 t y) -2)))
10.0ms
(+.f64 (*.f64 (/.f64 x y) -2) (+.f64 1 (*.f64 2 (*.f64 (/.f64 x y) (/.f64 x y)))))
9.0ms
(/.f64 (*.f64 y (exp.f64 (*.f64 (/.f64 x y) -2))) (+.f64 1 (exp.f64 (*.f64 (/.f64 x y) -2))))
0.0ms
(*.f64 2 (*.f64 (/.f64 x y) (/.f64 x y)))

series1.3s (0.3%)

Counts
4 → 46
Calls

4 calls:

806.0ms
(-.f64 (+.f64 (/.f64 (*.f64 y (exp.f64 (*.f64 (/.f64 x y) -2))) (+.f64 1 (exp.f64 (*.f64 (/.f64 x y) -2)))) (/.f64 y (+.f64 1 (exp.f64 (*.f64 (/.f64 t y) -2))))) (+.f64 (/.f64 y (+.f64 1 (+.f64 (*.f64 (/.f64 x y) -2) (+.f64 1 (*.f64 2 (*.f64 (/.f64 x y) (/.f64 x y))))))) (*.f64 (/.f64 y (+.f64 1 (exp.f64 (*.f64 (/.f64 t y) -2)))) (exp.f64 (*.f64 (/.f64 t y) -2)))))
175.0ms
(*.f64 (/.f64 y (+.f64 1 (exp.f64 (*.f64 (/.f64 t y) -2)))) (exp.f64 (*.f64 (/.f64 t y) -2)))
150.0ms
(/.f64 (*.f64 y (exp.f64 (*.f64 (/.f64 x y) -2))) (+.f64 1 (exp.f64 (*.f64 (/.f64 x y) -2))))
149.0ms
(+.f64 (*.f64 (/.f64 x y) -2) (+.f64 1 (*.f64 2 (*.f64 (/.f64 x y) (/.f64 x y)))))
Compiler

Compiled 4411 to 3141 computations (28.8% saved)

simplify142.0ms (0%)

Algorithm
1×egg-herbie
Counts
154 → 154
Iterations

Useful iterations: 0 (64.0ms)

IterNodesCost
049779978
149779978

localize25.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))
0.0b
(-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))
0.0b
(-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))
0.0b
(+.f64 x (*.f64 (*.f64 (cbrt.f64 (*.f64 y (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))) (cbrt.f64 (*.f64 y (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))))) (cbrt.f64 (*.f64 y (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))))))
3.8b
(*.f64 y (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))
6.7b
(cbrt.f64 (*.f64 y (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))))
6.7b
(cbrt.f64 (*.f64 y (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))))
6.7b
(cbrt.f64 (*.f64 y (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))))

rewrite71.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
88×associate-*r/_binary64_10932
36×frac-sub_binary64_10999
33×cbrt-div_binary64_11022
24×tanh-def-a_binary64_11177 tanh-def-b_binary64_11178 tanh-def-c_binary64_11179
16×distribute-rgt-in_binary64_10940 distribute-lft-in_binary64_10939
12×cancel-sign-sub-inv_binary64_10956
9×pow1_binary64_11051 add-cube-cbrt_binary64_11025 add-exp-log_binary64_11028 add-cbrt-cube_binary64_11026 *-un-lft-identity_binary64_10990 add-sqr-sqrt_binary64_11012
4×flip3--_binary64_10994 flip--_binary64_10965 add-log-exp_binary64_11029 sub-neg_binary64_10983
3×prod-exp_binary64_11039 cbrt-unprod_binary64_11023 cbrt-prod_binary64_11021 associate-*l*_binary64_10931 pow-prod-down_binary64_11061 pow1/3_binary64_11072
1×associate-*r*_binary64_10930 *-commutative_binary64_10921
Counts
4 → 105
Calls

8 calls:

15.0ms
(*.f64 y (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))
12.0ms
(cbrt.f64 (*.f64 y (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))))
11.0ms
(cbrt.f64 (*.f64 y (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))))
11.0ms
(cbrt.f64 (*.f64 y (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))))
0.0ms
(+.f64 x (*.f64 (*.f64 (cbrt.f64 (*.f64 y (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))) (cbrt.f64 (*.f64 y (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))))) (cbrt.f64 (*.f64 y (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))))))

series7.7s (2%)

Counts
4 → 56
Calls

4 calls:

2.2s
(cbrt.f64 (*.f64 y (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))))
2.2s
(cbrt.f64 (*.f64 y (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))))
2.2s
(cbrt.f64 (*.f64 y (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))))
1.1s
(*.f64 y (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))
Compiler

Compiled 9057 to 5374 computations (40.7% saved)

simplify104.0ms (0%)

Algorithm
1×egg-herbie
Counts
161 → 161
Iterations

Useful iterations: 0 (36.0ms)

IterNodesCost
052048166

prune34.8s (9.1%)

Pruning

634 alts after pruning (624 fresh and 10 done)

PrunedKeptTotal
New395211606
Fresh14413427
Picked000
Done11011
Total4106341044
Error
0b
Counts
1044 → 634
Compiler

Compiled 61197 to 33823 computations (44.7% saved)

localize15.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(tanh.f64 (/.f64 x y))
0.0b
(+.f64 (*.f64 z (tanh.f64 (/.f64 t y))) (*.f64 z (neg.f64 (tanh.f64 (/.f64 x y)))))
0.0b
(tanh.f64 (/.f64 t y))
0.0b
(+.f64 x (*.f64 y (+.f64 (*.f64 z (tanh.f64 (/.f64 t y))) (*.f64 z (neg.f64 (tanh.f64 (/.f64 x y)))))))
0.0b
(tanh.f64 (/.f64 x y))
1.8b
(*.f64 z (tanh.f64 (/.f64 t y)))
2.9b
(*.f64 z (neg.f64 (tanh.f64 (/.f64 x y))))
3.8b
(*.f64 y (+.f64 (*.f64 z (tanh.f64 (/.f64 t y))) (*.f64 z (neg.f64 (tanh.f64 (/.f64 x y))))))

rewrite40.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
35×associate-*r/_binary64_10932
18×add-sqr-sqrt_binary64_11012
17×associate-*r*_binary64_10930
12×add-cube-cbrt_binary64_11025 distribute-neg-frac_binary64_10954 *-un-lft-identity_binary64_10990
10×pow1_binary64_11051 add-exp-log_binary64_11028 add-cbrt-cube_binary64_11026
9×frac-add_binary64_10998 tanh-def-a_binary64_11177 tanh-def-b_binary64_11178 tanh-def-c_binary64_11179 associate-*l*_binary64_10931
4×add-log-exp_binary64_11029
3×prod-exp_binary64_11039 unswap-sqr_binary64_10958 cbrt-unprod_binary64_11023 distribute-lft-neg-in_binary64_10947 *-commutative_binary64_10921 distribute-rgt-neg-in_binary64_10948 pow-prod-down_binary64_11061
1×distribute-rgt-neg-out_binary64_10950 distribute-lft-out_binary64_10941 flip3-+_binary64_10993 neg-mul-1_binary64_10986 flip-+_binary64_10964 distribute-rgt-in_binary64_10940 distribute-lft-in_binary64_10939
Counts
4 → 92
Calls

8 calls:

13.0ms
(*.f64 y (+.f64 (*.f64 z (tanh.f64 (/.f64 t y))) (*.f64 z (neg.f64 (tanh.f64 (/.f64 x y))))))
11.0ms
(*.f64 z (neg.f64 (tanh.f64 (/.f64 x y))))
5.0ms
(*.f64 z (tanh.f64 (/.f64 t y)))
2.0ms
(tanh.f64 (/.f64 x y))
0.0ms
(+.f64 x (*.f64 y (+.f64 (*.f64 z (tanh.f64 (/.f64 t y))) (*.f64 z (neg.f64 (tanh.f64 (/.f64 x y)))))))

series1.9s (0.5%)

Counts
4 → 47
Calls

4 calls:

1.1s
(*.f64 y (+.f64 (*.f64 z (tanh.f64 (/.f64 t y))) (*.f64 z (neg.f64 (tanh.f64 (/.f64 x y))))))
367.0ms
(*.f64 z (neg.f64 (tanh.f64 (/.f64 x y))))
282.0ms
(*.f64 z (tanh.f64 (/.f64 t y)))
148.0ms
(tanh.f64 (/.f64 x y))
Compiler

Compiled 3087 to 2311 computations (25.1% saved)

simplify76.0ms (0%)

Algorithm
1×egg-herbie
Counts
139 → 139
Iterations

Useful iterations: 0 (38.0ms)

IterNodesCost
049853131
149853131

localize5.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b
(-.f64 x (*.f64 z x))
0.0b
(-.f64 x (*.f64 z x))

rewrite4.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
3×add-log-exp_binary64_11029
2×*-un-lft-identity_binary64_10990
1×flip3--_binary64_10994 flip--_binary64_10965 pow1_binary64_11051 add-cube-cbrt_binary64_11025 distribute-rgt-out--_binary64_10944 diff-log_binary64_11082 add-exp-log_binary64_11028 add-cbrt-cube_binary64_11026 sub-neg_binary64_10983 add-sqr-sqrt_binary64_11012 cancel-sign-sub-inv_binary64_10956
Counts
1 → 13
Calls

2 calls:

3.0ms
(-.f64 x (*.f64 z x))
0.0ms
(-.f64 x (*.f64 z x))

series55.0ms (0%)

Counts
1 → 9
Calls

1 calls:

55.0ms
(-.f64 x (*.f64 z x))
Compiler

Compiled 75 to 100 computations (-33.3% saved)

simplify78.0ms (0%)

Algorithm
1×egg-herbie
Counts
22 → 22
Iterations

Useful iterations: 0 (70.0ms)

IterNodesCost
05620204

localize19.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(tanh.f64 (/.f64 x y))
0.0b
(tanh.f64 (/.f64 t y))
0.0b
(-.f64 (tanh.f64 (/.f64 t y)) (cbrt.f64 (pow.f64 (tanh.f64 (/.f64 x y)) 3)))
0.0b
(+.f64 x (*.f64 y (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (cbrt.f64 (pow.f64 (tanh.f64 (/.f64 x y)) 3))))))
0.1b
(pow.f64 (tanh.f64 (/.f64 x y)) 3)
0.8b
(*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (cbrt.f64 (pow.f64 (tanh.f64 (/.f64 x y)) 3))))
3.8b
(*.f64 y (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (cbrt.f64 (pow.f64 (tanh.f64 (/.f64 x y)) 3)))))
15.5b
(cbrt.f64 (pow.f64 (tanh.f64 (/.f64 x y)) 3))

rewrite72.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
90×cancel-sign-sub-inv_binary64_10956
88×cbrt-prod_binary64_11021
80×distribute-rgt-in_binary64_10940 distribute-lft-in_binary64_10939
48×add-sqr-sqrt_binary64_11012
39×*-un-lft-identity_binary64_10990
37×add-cube-cbrt_binary64_11025
33×associate-*r/_binary64_10932
25×cube-prod_binary64_11018 unpow-prod-down_binary64_11069
24×cube-div_binary64_11019
21×cbrt-div_binary64_11022
18×frac-sub_binary64_10999
14×tanh-def-a_binary64_11177 tanh-def-b_binary64_11178 tanh-def-c_binary64_11179
12×pow1_binary64_11051 add-exp-log_binary64_11028 add-cbrt-cube_binary64_11026
10×associate-*r*_binary64_10930
9×sqr-pow_binary64_10962
8×unpow3_binary64_11056 cube-mult_binary64_11020
6×sub-neg_binary64_10983 associate-*l*_binary64_10931
5×difference-of-squares_binary64_10959
4×prod-exp_binary64_11039 add-log-exp_binary64_11029 cbrt-unprod_binary64_11023 pow-prod-down_binary64_11061
3×pow-unpow_binary64_11067
2×flip3--_binary64_10994 flip--_binary64_10965 *-commutative_binary64_10921
1×distribute-lft-out--_binary64_10942 rem-cbrt-cube_binary64_11014 unswap-sqr_binary64_10958 pow-to-exp_binary64_11059 rem-cube-cbrt_binary64_11013 pow-exp_binary64_11058 pow1/3_binary64_11072 pow-pow_binary64_11062
Counts
4 → 210
Calls

8 calls:

20.0ms
(*.f64 y (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (cbrt.f64 (pow.f64 (tanh.f64 (/.f64 x y)) 3)))))
18.0ms
(*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (cbrt.f64 (pow.f64 (tanh.f64 (/.f64 x y)) 3))))
4.0ms
(cbrt.f64 (pow.f64 (tanh.f64 (/.f64 x y)) 3))
4.0ms
(pow.f64 (tanh.f64 (/.f64 x y)) 3)
0.0ms
(+.f64 x (*.f64 y (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (cbrt.f64 (pow.f64 (tanh.f64 (/.f64 x y)) 3))))))

series2.4s (0.6%)

Counts
4 → 49
Calls

4 calls:

1.1s
(*.f64 y (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (cbrt.f64 (pow.f64 (tanh.f64 (/.f64 x y)) 3)))))
957.0ms
(*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (cbrt.f64 (pow.f64 (tanh.f64 (/.f64 x y)) 3))))
190.0ms
(pow.f64 (tanh.f64 (/.f64 x y)) 3)
147.0ms
(cbrt.f64 (pow.f64 (tanh.f64 (/.f64 x y)) 3))
Compiler

Compiled 3644 to 2750 computations (24.5% saved)

simplify123.0ms (0%)

Algorithm
1×egg-herbie
Counts
259 → 259
Iterations

Useful iterations: 0 (53.0ms)

IterNodesCost
050276526

localize31.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b
(*.f64 1/3 (-.f64 (pow.f64 (/.f64 x y) 3) (pow.f64 (/.f64 t y) 3)))
0.1b
(*.f64 1/3 (-.f64 (pow.f64 (/.f64 x y) 3) (pow.f64 (/.f64 t y) 3)))
0.1b
(*.f64 (-.f64 (*.f64 1/3 (-.f64 (pow.f64 (/.f64 x y) 3) (pow.f64 (/.f64 t y) 3))) (/.f64 x y)) (-.f64 (*.f64 1/3 (-.f64 (pow.f64 (/.f64 x y) 3) (pow.f64 (/.f64 t y) 3))) (/.f64 x y)))
0.0b
(-.f64 (/.f64 t y) (-.f64 (*.f64 1/3 (-.f64 (pow.f64 (/.f64 x y) 3) (pow.f64 (/.f64 t y) 3))) (/.f64 x y)))
5.3b
(-.f64 (pow.f64 (/.f64 x y) 3) (pow.f64 (/.f64 t y) 3))
14.7b
(*.f64 (*.f64 y z) (/.f64 (-.f64 (*.f64 (/.f64 t y) (/.f64 t y)) (*.f64 (-.f64 (*.f64 1/3 (-.f64 (pow.f64 (/.f64 x y) 3) (pow.f64 (/.f64 t y) 3))) (/.f64 x y)) (-.f64 (*.f64 1/3 (-.f64 (pow.f64 (/.f64 x y) 3) (pow.f64 (/.f64 t y) 3))) (/.f64 x y)))) (-.f64 (/.f64 t y) (-.f64 (*.f64 1/3 (-.f64 (pow.f64 (/.f64 x y) 3) (pow.f64 (/.f64 t y) 3))) (/.f64 x y)))))
17.1b
(-.f64 (*.f64 (/.f64 t y) (/.f64 t y)) (*.f64 (-.f64 (*.f64 1/3 (-.f64 (pow.f64 (/.f64 x y) 3) (pow.f64 (/.f64 t y) 3))) (/.f64 x y)) (-.f64 (*.f64 1/3 (-.f64 (pow.f64 (/.f64 x y) 3) (pow.f64 (/.f64 t y) 3))) (/.f64 x y))))
45.5b
(/.f64 (-.f64 (*.f64 (/.f64 t y) (/.f64 t y)) (*.f64 (-.f64 (*.f64 1/3 (-.f64 (pow.f64 (/.f64 x y) 3) (pow.f64 (/.f64 t y) 3))) (/.f64 x y)) (-.f64 (*.f64 1/3 (-.f64 (pow.f64 (/.f64 x y) 3) (pow.f64 (/.f64 t y) 3))) (/.f64 x y)))) (-.f64 (/.f64 t y) (-.f64 (*.f64 1/3 (-.f64 (pow.f64 (/.f64 x y) 3) (pow.f64 (/.f64 t y) 3))) (/.f64 x y))))

rewrite580.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
731×frac-sub_binary64_10999
477×associate-*r/_binary64_10932
348×cube-div_binary64_11019
312×frac-times_binary64_11000
253×add-sqr-sqrt_binary64_11012
213×times-frac_binary64_10996
187×cancel-sign-sub-inv_binary64_10956
177×flip3--_binary64_10994 flip--_binary64_10965
176×*-un-lft-identity_binary64_10990
160×associate--r+_binary64_10926
146×associate-/l/_binary64_10937 distribute-rgt-in_binary64_10940 distribute-lft-in_binary64_10939
132×associate--l+_binary64_10927 associate-*l/_binary64_10933
124×add-cube-cbrt_binary64_11025
109×cube-prod_binary64_11018 unpow-prod-down_binary64_11069
87×sub-div_binary64_10997
68×difference-of-squares_binary64_10959
36×associate-*r*_binary64_10930
26×distribute-lft-out--_binary64_10942
22×div-inv_binary64_10987
18×add-exp-log_binary64_11028 add-cbrt-cube_binary64_11026
17×sqr-pow_binary64_10962
16×associate-/r/_binary64_10936
9×pow1_binary64_11051
8×add-log-exp_binary64_11029 sub-neg_binary64_10983
6×prod-exp_binary64_11039 associate-/r*_binary64_10934 cbrt-unprod_binary64_11023
5×unpow3_binary64_11056 cube-mult_binary64_11020
4×distribute-rgt-out--_binary64_10944 associate-/l*_binary64_10935
3×div-exp_binary64_11041 cbrt-undiv_binary64_11024 pow-prod-down_binary64_11061
2×diff-log_binary64_11082
1×div-sub_binary64_10995 clear-num_binary64_10989 difference-cubes_binary64_10992 frac-2neg_binary64_11001 associate-*l*_binary64_10931 *-commutative_binary64_10921
Counts
4 → 677
Calls

8 calls:

108.0ms
(/.f64 (-.f64 (*.f64 (/.f64 t y) (/.f64 t y)) (*.f64 (-.f64 (*.f64 1/3 (-.f64 (pow.f64 (/.f64 x y) 3) (pow.f64 (/.f64 t y) 3))) (/.f64 x y)) (-.f64 (*.f64 1/3 (-.f64 (pow.f64 (/.f64 x y) 3) (pow.f64 (/.f64 t y) 3))) (/.f64 x y)))) (-.f64 (/.f64 t y) (-.f64 (*.f64 1/3 (-.f64 (pow.f64 (/.f64 x y) 3) (pow.f64 (/.f64 t y) 3))) (/.f64 x y))))
86.0ms
(*.f64 (*.f64 y z) (/.f64 (-.f64 (*.f64 (/.f64 t y) (/.f64 t y)) (*.f64 (-.f64 (*.f64 1/3 (-.f64 (pow.f64 (/.f64 x y) 3) (pow.f64 (/.f64 t y) 3))) (/.f64 x y)) (-.f64 (*.f64 1/3 (-.f64 (pow.f64 (/.f64 x y) 3) (pow.f64 (/.f64 t y) 3))) (/.f64 x y)))) (-.f64 (/.f64 t y) (-.f64 (*.f64 1/3 (-.f64 (pow.f64 (/.f64 x y) 3) (pow.f64 (/.f64 t y) 3))) (/.f64 x y)))))
57.0ms
(-.f64 (pow.f64 (/.f64 x y) 3) (pow.f64 (/.f64 t y) 3))
57.0ms
(-.f64 (*.f64 (/.f64 t y) (/.f64 t y)) (*.f64 (-.f64 (*.f64 1/3 (-.f64 (pow.f64 (/.f64 x y) 3) (pow.f64 (/.f64 t y) 3))) (/.f64 x y)) (-.f64 (*.f64 1/3 (-.f64 (pow.f64 (/.f64 x y) 3) (pow.f64 (/.f64 t y) 3))) (/.f64 x y))))
0.0ms
(-.f64 (/.f64 t y) (-.f64 (*.f64 1/3 (-.f64 (pow.f64 (/.f64 x y) 3) (pow.f64 (/.f64 t y) 3))) (/.f64 x y)))

series6.3s (1.7%)

Counts
4 → 67
Calls

4 calls:

3.5s
(*.f64 (*.f64 y z) (/.f64 (-.f64 (*.f64 (/.f64 t y) (/.f64 t y)) (*.f64 (-.f64 (*.f64 1/3 (-.f64 (pow.f64 (/.f64 x y) 3) (pow.f64 (/.f64 t y) 3))) (/.f64 x y)) (-.f64 (*.f64 1/3 (-.f64 (pow.f64 (/.f64 x y) 3) (pow.f64 (/.f64 t y) 3))) (/.f64 x y)))) (-.f64 (/.f64 t y) (-.f64 (*.f64 1/3 (-.f64 (pow.f64 (/.f64 x y) 3) (pow.f64 (/.f64 t y) 3))) (/.f64 x y)))))
2.0s
(/.f64 (-.f64 (*.f64 (/.f64 t y) (/.f64 t y)) (*.f64 (-.f64 (*.f64 1/3 (-.f64 (pow.f64 (/.f64 x y) 3) (pow.f64 (/.f64 t y) 3))) (/.f64 x y)) (-.f64 (*.f64 1/3 (-.f64 (pow.f64 (/.f64 x y) 3) (pow.f64 (/.f64 t y) 3))) (/.f64 x y)))) (-.f64 (/.f64 t y) (-.f64 (*.f64 1/3 (-.f64 (pow.f64 (/.f64 x y) 3) (pow.f64 (/.f64 t y) 3))) (/.f64 x y))))
399.0ms
(-.f64 (*.f64 (/.f64 t y) (/.f64 t y)) (*.f64 (-.f64 (*.f64 1/3 (-.f64 (pow.f64 (/.f64 x y) 3) (pow.f64 (/.f64 t y) 3))) (/.f64 x y)) (-.f64 (*.f64 1/3 (-.f64 (pow.f64 (/.f64 x y) 3) (pow.f64 (/.f64 t y) 3))) (/.f64 x y))))
358.0ms
(-.f64 (pow.f64 (/.f64 x y) 3) (pow.f64 (/.f64 t y) 3))
Compiler

Compiled 8254 to 6012 computations (27.2% saved)

simplify541.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
744 → 744
Iterations

Useful iterations: 0 (50.0ms)

IterNodesCost
0493468392
1493468392

localize35.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(*.f64 y (exp.f64 (*.f64 (/.f64 x y) -2)))
0.0b
(*.f64 y (exp.f64 (*.f64 (/.f64 x y) -2)))
0.0b
(*.f64 y (exp.f64 (*.f64 (/.f64 x y) -2)))
0.0b
(*.f64 z (+.f64 t (-.f64 (*.f64 (*.f64 (cbrt.f64 (/.f64 (*.f64 y (exp.f64 (*.f64 (/.f64 x y) -2))) (+.f64 (exp.f64 (*.f64 (/.f64 x y) -2)) 1))) (cbrt.f64 (/.f64 (*.f64 y (exp.f64 (*.f64 (/.f64 x y) -2))) (+.f64 (exp.f64 (*.f64 (/.f64 x y) -2)) 1)))) (cbrt.f64 (/.f64 (*.f64 y (exp.f64 (*.f64 (/.f64 x y) -2))) (+.f64 (exp.f64 (*.f64 (/.f64 x y) -2)) 1)))) (/.f64 y (+.f64 (exp.f64 (*.f64 (/.f64 x y) -2)) 1)))))
0.8b
(/.f64 (*.f64 y (exp.f64 (*.f64 (/.f64 x y) -2))) (+.f64 (exp.f64 (*.f64 (/.f64 x y) -2)) 1))
0.8b
(/.f64 (*.f64 y (exp.f64 (*.f64 (/.f64 x y) -2))) (+.f64 (exp.f64 (*.f64 (/.f64 x y) -2)) 1))
0.8b
(/.f64 (*.f64 y (exp.f64 (*.f64 (/.f64 x y) -2))) (+.f64 (exp.f64 (*.f64 (/.f64 x y) -2)) 1))
19.8b
(-.f64 (*.f64 (*.f64 (cbrt.f64 (/.f64 (*.f64 y (exp.f64 (*.f64 (/.f64 x y) -2))) (+.f64 (exp.f64 (*.f64 (/.f64 x y) -2)) 1))) (cbrt.f64 (/.f64 (*.f64 y (exp.f64 (*.f64 (/.f64 x y) -2))) (+.f64 (exp.f64 (*.f64 (/.f64 x y) -2)) 1)))) (cbrt.f64 (/.f64 (*.f64 y (exp.f64 (*.f64 (/.f64 x y) -2))) (+.f64 (exp.f64 (*.f64 (/.f64 x y) -2)) 1)))) (/.f64 y (+.f64 (exp.f64 (*.f64 (/.f64 x y) -2)) 1)))

rewrite86.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
36×*-un-lft-identity_binary64_10990
24×times-frac_binary64_10996
19×add-cbrt-cube_binary64_11026
18×add-cube-cbrt_binary64_11025 add-sqr-sqrt_binary64_11012 cancel-sign-sub-inv_binary64_10956
16×add-exp-log_binary64_11028
12×cbrt-div_binary64_11022 associate-/r*_binary64_10934
9×distribute-lft-out_binary64_10941
8×associate-/r/_binary64_10936
7×frac-sub_binary64_10999
6×add-log-exp_binary64_11029 div-exp_binary64_11041 cbrt-undiv_binary64_11024
5×frac-times_binary64_11000 associate-*l/_binary64_10933
4×pow1_binary64_11051 flip3-+_binary64_10993 flip-+_binary64_10964 div-inv_binary64_10987
3×prod-exp_binary64_11039 associate-*r/_binary64_10932 clear-num_binary64_10989 associate-/l*_binary64_10935 cbrt-unprod_binary64_11023 frac-2neg_binary64_11001
1×flip3--_binary64_10994 flip--_binary64_10965 diff-log_binary64_11082 sub-neg_binary64_10983
Counts
4 → 111
Calls

8 calls:

30.0ms
(-.f64 (*.f64 (*.f64 (cbrt.f64 (/.f64 (*.f64 y (exp.f64 (*.f64 (/.f64 x y) -2))) (+.f64 (exp.f64 (*.f64 (/.f64 x y) -2)) 1))) (cbrt.f64 (/.f64 (*.f64 y (exp.f64 (*.f64 (/.f64 x y) -2))) (+.f64 (exp.f64 (*.f64 (/.f64 x y) -2)) 1)))) (cbrt.f64 (/.f64 (*.f64 y (exp.f64 (*.f64 (/.f64 x y) -2))) (+.f64 (exp.f64 (*.f64 (/.f64 x y) -2)) 1)))) (/.f64 y (+.f64 (exp.f64 (*.f64 (/.f64 x y) -2)) 1)))
9.0ms
(/.f64 (*.f64 y (exp.f64 (*.f64 (/.f64 x y) -2))) (+.f64 (exp.f64 (*.f64 (/.f64 x y) -2)) 1))
9.0ms
(/.f64 (*.f64 y (exp.f64 (*.f64 (/.f64 x y) -2))) (+.f64 (exp.f64 (*.f64 (/.f64 x y) -2)) 1))
9.0ms
(/.f64 (*.f64 y (exp.f64 (*.f64 (/.f64 x y) -2))) (+.f64 (exp.f64 (*.f64 (/.f64 x y) -2)) 1))
0.0ms
(*.f64 z (+.f64 t (-.f64 (*.f64 (*.f64 (cbrt.f64 (/.f64 (*.f64 y (exp.f64 (*.f64 (/.f64 x y) -2))) (+.f64 (exp.f64 (*.f64 (/.f64 x y) -2)) 1))) (cbrt.f64 (/.f64 (*.f64 y (exp.f64 (*.f64 (/.f64 x y) -2))) (+.f64 (exp.f64 (*.f64 (/.f64 x y) -2)) 1)))) (cbrt.f64 (/.f64 (*.f64 y (exp.f64 (*.f64 (/.f64 x y) -2))) (+.f64 (exp.f64 (*.f64 (/.f64 x y) -2)) 1)))) (/.f64 y (+.f64 (exp.f64 (*.f64 (/.f64 x y) -2)) 1)))))

series987.0ms (0.3%)

Counts
4 → 47
Calls

4 calls:

369.0ms
(-.f64 (*.f64 (*.f64 (cbrt.f64 (/.f64 (*.f64 y (exp.f64 (*.f64 (/.f64 x y) -2))) (+.f64 (exp.f64 (*.f64 (/.f64 x y) -2)) 1))) (cbrt.f64 (/.f64 (*.f64 y (exp.f64 (*.f64 (/.f64 x y) -2))) (+.f64 (exp.f64 (*.f64 (/.f64 x y) -2)) 1)))) (cbrt.f64 (/.f64 (*.f64 y (exp.f64 (*.f64 (/.f64 x y) -2))) (+.f64 (exp.f64 (*.f64 (/.f64 x y) -2)) 1)))) (/.f64 y (+.f64 (exp.f64 (*.f64 (/.f64 x y) -2)) 1)))
207.0ms
(/.f64 (*.f64 y (exp.f64 (*.f64 (/.f64 x y) -2))) (+.f64 (exp.f64 (*.f64 (/.f64 x y) -2)) 1))
206.0ms
(/.f64 (*.f64 y (exp.f64 (*.f64 (/.f64 x y) -2))) (+.f64 (exp.f64 (*.f64 (/.f64 x y) -2)) 1))
204.0ms
(/.f64 (*.f64 y (exp.f64 (*.f64 (/.f64 x y) -2))) (+.f64 (exp.f64 (*.f64 (/.f64 x y) -2)) 1))
Compiler

Compiled 4312 to 3120 computations (27.6% saved)

simplify106.0ms (0%)

Algorithm
1×egg-herbie
Counts
158 → 158
Iterations

Useful iterations: 0 (56.0ms)

IterNodesCost
049654698
149654698

prune2.2min (35.2%)

Pruning

1009 alts after pruning (995 fresh and 14 done)

PrunedKeptTotal
New9214011322
Fresh25594619
Picked000
Done11415
Total94710091956
Error
0b
Counts
1956 → 1009
Compiler

Compiled 74735 to 36282 computations (51.5% saved)

simplify2.9s (0.7%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (28.0ms)

IterNodesCost
09541195756

regimes42.5s (11.1%)

Compiler

Compiled 632761 to 377657 computations (40.3% saved)

bsearch208.0ms (0.1%)

Compiler

Compiled 15 to 12 computations (20% saved)

regimes4.6s (1.2%)

Compiler

Compiled 58256 to 43047 computations (26.1% saved)

bsearch0.0ms (0%)

regimes1.0s (0.3%)

Compiler

Compiled 5016 to 4272 computations (14.8% saved)

bsearch34.0ms (0%)

Steps
ItersRangePoint
4
6.465094705559946e-72
9.265534665409433e-72
8.739433096093365e-72
6
-1.43465627215382e-59
-1.7085688709884595e-60
-1.3630582602303108e-59
Compiler

Compiled 1 to 4 computations (-300% saved)

regimes621.0ms (0.2%)

Compiler

Compiled 2176 to 2052 computations (5.7% saved)

bsearch48.0ms (0%)

Steps
ItersRangePoint
8
9.334739415390666e-88
3.258206518325358e-85
1.8688078009870105e-87
9
-1.073000557049075e-181
-8.228788845993649e-190
-9.580434192572051e-184
Compiler

Compiled 1 to 4 computations (-300% saved)

regimes462.0ms (0.1%)

Compiler

Compiled 1608 to 1552 computations (3.5% saved)

bsearch110.0ms (0%)

Steps
ItersRangePoint
10
6.107853176558029e+271
1.203760202005595e+285
2.676861688004712e+278
8
5.8351740480515015e+181
5.0626432487055704e+185
5.920134540830341e+181
9
1.3329138649082966e+126
1.5393781571342442e+131
1.5248511801497334e+131
7
-1.5832447191887646e+195
-1.4947561234862594e+193
-1.430005452237489e+195
Compiler

Compiled 1 to 4 computations (-300% saved)

regimes394.0ms (0.1%)

Compiler

Compiled 1528 to 1480 computations (3.1% saved)

bsearch26.0ms (0%)

Steps
ItersRangePoint
7
2.0127832245485892e+126
1.1045716786226409e+128
1.4709825709342302e+127
2
-1.2170779840712971e+70
-1.1225696091973262e+70
-1.1580102497750653e+70
Compiler

Compiled 1 to 4 computations (-300% saved)

regimes521.0ms (0.1%)

Compiler

Compiled 1488 to 1444 computations (3% saved)

bsearch33.0ms (0%)

Steps
ItersRangePoint
9
2.823139462390664e+93
1.4104172363038842e+99
3.5724441121741096e+94
2
-1.2170779840712971e+70
-1.1225696091973262e+70
-1.1343831560565726e+70
Compiler

Compiled 1 to 4 computations (-300% saved)

regimes188.0ms (0%)

Compiler

Compiled 228 to 364 computations (-59.6% saved)

bsearch23.0ms (0%)

Steps
ItersRangePoint
7
4.788864882191758e+111
3.762325594669163e+113
5.821533672032214e+111
2
-1.2170779840712971e+70
-1.1225696091973262e+70
-1.1343831560565726e+70
Compiler

Compiled 1 to 4 computations (-300% saved)

regimes148.0ms (0%)

Compiler

Compiled 132 to 252 computations (-90.9% saved)

bsearch94.0ms (0%)

Steps
ItersRangePoint
8
5.8351740480515015e+181
5.0626432487055704e+185
5.920134540830341e+181
9
1.3329138649082966e+126
1.5393781571342442e+131
3.721256833114891e+128
5
-8.353757559096579e+84
-3.4651190072156514e+84
-5.945536235585102e+84
7
-2.9231735552937096e+122
-1.970872217090922e+120
-9.086738134324117e+121
7
-1.5832447191887646e+195
-1.4947561234862594e+193
-1.0937184145414883e+194
Compiler

Compiled 1 to 4 computations (-300% saved)

regimes116.0ms (0%)

Compiler

Compiled 92 to 204 computations (-121.7% saved)

bsearch45.0ms (0%)

Steps
ItersRangePoint
9
2.823139462390664e+93
1.4104172363038842e+99
2.5909083992636173e+94
10
-4.201104744841937e-23
-1.231590359714302e-33
-2.172621173459247e-28
Compiler

Compiled 1 to 4 computations (-300% saved)

regimes108.0ms (0%)

Compiler

Compiled 72 to 180 computations (-150% saved)

bsearch49.0ms (0%)

Steps
ItersRangePoint
9
2.823139462390664e+93
1.4104172363038842e+99
3.058300935169148e+96
10
-4.201104744841937e-23
-1.231590359714302e-33
-3.7941112927548634e-23
Compiler

Compiled 1 to 4 computations (-300% saved)

regimes84.0ms (0%)

Compiler

Compiled 52 to 152 computations (-192.3% saved)

bsearch45.0ms (0%)

Steps
ItersRangePoint
10
1.530644601467251e-213
2.63886350929893e-196
3.3071822412568377e-209
8
-7.72052567356146e-215
-4.831845063059946e-219
-1.0765087018210958e-215
Compiler

Compiled 1 to 4 computations (-300% saved)

regimes40.0ms (0%)

Accuracy

Total 1.3b remaining (99.4%)

Threshold costs 0b (0%)

Compiler

Compiled 24 to 108 computations (-350% saved)

bsearch15.0ms (0%)

Compiler

Compiled 354 to 220 computations (37.9% saved)

simplify12.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0234481
1234481

end0.0ms (0%)

sample1.5min (24.2%)

Algorithm
1×intervals
Results
419.0ms7794×body128valid
32.0ms547×body128invalid
13.0ms63×body1024valid
13.0ms85×body512valid
6.0ms58×body256valid
Compiler

Compiled 127538 to 76202 computations (40.3% saved)

Pareto

0.6786885690981486

Profiling

Loading profile data...