Details

Time bar (total: 21.3s)

analyze915.0ms (4.3%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05154161
044
144
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
Symmetry
Compiler

Compiled 16 to 13 computations (18.8% saved)

sample30.0ms (0.1%)

Algorithm
1×intervals
Results
16.0ms244×body128valid
1.0ms7×body1024valid
1.0ms14×body128invalid
0.0ms3×body512valid
0.0ms2×body256valid
Compiler

Compiled 31 to 29 computations (6.5% saved)

simplify58.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (52.0ms)

IterNodesCost
0515523

prune3.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 30 to 24 computations (20% saved)

localize10.0ms (0%)

Local error

Found 4 expressions with local error:

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

rewrite134.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Error
1.5b
Rules
18×frac-sub_binary64_11340
14×tanh-def-c_binary64_11520 tanh-def-b_binary64_11519 tanh-def-a_binary64_11518
12×add-sqr-sqrt_binary64_11353 *-un-lft-identity_binary64_11331
11×associate-*r/_binary64_11273
9×pow1_binary64_11392 add-exp-log_binary64_11369 add-cbrt-cube_binary64_11367 cancel-sign-sub-inv_binary64_11297
8×add-cube-cbrt_binary64_11366
6×add-log-exp_binary64_11370
5×associate-*r*_binary64_11271
4×distribute-rgt-in_binary64_11281 distribute-lft-in_binary64_11280
3×pow-prod-down_binary64_11402 prod-exp_binary64_11380 cbrt-unprod_binary64_11364 sub-neg_binary64_11324
2×flip3--_binary64_11335 flip--_binary64_11306 difference-of-squares_binary64_11300 distribute-lft-out--_binary64_11283
1×associate-*l*_binary64_11272 *-commutative_binary64_11262 diff-log_binary64_11423
Counts
4 → 84
Calls

4 calls:

13.0ms
(*.f64 (*.f64 y 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 t y))
2.0ms
(tanh.f64 (/.f64 x y))
Compiler

Compiled 2795 to 837 computations (70.1% saved)

series1.7s (7.8%)

Error
0.0b
Counts
4 → 40
Calls

4 calls:

916.0ms
(*.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))
424.0ms
(-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))
151.0ms
(tanh.f64 (/.f64 x y))
105.0ms
(tanh.f64 (/.f64 t y))
Compiler

Compiled 4259 to 2947 computations (30.8% saved)

simplify82.0ms (0.4%)

Algorithm
1×egg-herbie
Counts
124 → 124
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
049783252
149783252

prune128.0ms (0.6%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New1204124
Fresh000
Picked011
Done000
Total1205125
Error
0.0b
Counts
125 → 5
Compiler

Compiled 3299 to 931 computations (71.8% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite153.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
33×associate-*r/_binary64_11273
20×distribute-rgt-in_binary64_11281 distribute-lft-in_binary64_11280
18×cancel-sign-sub-inv_binary64_11297 frac-sub_binary64_11340
17×add-sqr-sqrt_binary64_11353
15×*-un-lft-identity_binary64_11331
14×tanh-def-c_binary64_11520 tanh-def-b_binary64_11519 tanh-def-a_binary64_11518
13×add-cube-cbrt_binary64_11366
11×pow1_binary64_11392 add-exp-log_binary64_11369 add-cbrt-cube_binary64_11367
6×sub-neg_binary64_11324 associate-*l*_binary64_11272 associate-*r*_binary64_11271
4×pow-prod-down_binary64_11402 prod-exp_binary64_11380 add-log-exp_binary64_11370 cbrt-unprod_binary64_11364
2×flip3--_binary64_11335 flip--_binary64_11306 *-commutative_binary64_11262
1×unswap-sqr_binary64_11299 difference-of-squares_binary64_11300 distribute-lft-out--_binary64_11283
Counts
4 → 104
Calls

4 calls:

14.0ms
(*.f64 z (*.f64 y (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))
12.0ms
(*.f64 y (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))
2.0ms
(tanh.f64 (/.f64 x y))
2.0ms
(tanh.f64 (/.f64 t y))
Compiler

Compiled 3284 to 979 computations (70.2% saved)

series1.7s (8.2%)

Error
0.0b
Counts
4 → 40
Calls

4 calls:

932.0ms
(*.f64 z (*.f64 y (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))
506.0ms
(*.f64 y (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))
139.0ms
(tanh.f64 (/.f64 x y))
103.0ms
(tanh.f64 (/.f64 t y))
Compiler

Compiled 4219 to 2944 computations (30.2% saved)

simplify87.0ms (0.4%)

Algorithm
1×egg-herbie
Counts
144 → 144
Iterations

Useful iterations: 0 (49.0ms)

IterNodesCost
050593469

prune146.0ms (0.7%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New1431144
Fresh033
Picked101
Done011
Total1445149
Error
0.0b
Counts
149 → 5
Compiler

Compiled 3707 to 1015 computations (72.6% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b
(*.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 t y)))
0.1b
(*.f64 (tanh.f64 (/.f64 x y)) (tanh.f64 (/.f64 x y)))
4.8b
(/.f64 (*.f64 y (-.f64 (*.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 t y))) (*.f64 (tanh.f64 (/.f64 x y)) (tanh.f64 (/.f64 x y))))) (+.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))
5.2b
(*.f64 y (-.f64 (*.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 t y))) (*.f64 (tanh.f64 (/.f64 x y)) (tanh.f64 (/.f64 x y)))))

rewrite3.3s (15.4%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
640×associate-*r/_binary64_11273
558×frac-times_binary64_11341
502×tanh-def-c_binary64_11520 tanh-def-b_binary64_11519 tanh-def-a_binary64_11518
450×frac-sub_binary64_11340
227×associate-/l/_binary64_11278
186×associate-*l/_binary64_11274
22×add-sqr-sqrt_binary64_11353
20×pow1_binary64_11392 *-un-lft-identity_binary64_11331
16×add-cube-cbrt_binary64_11366
15×add-exp-log_binary64_11369 add-cbrt-cube_binary64_11367
11×associate-/r/_binary64_11277
10×associate-*r*_binary64_11271
9×associate-*l*_binary64_11272 frac-add_binary64_11339
6×swap-sqr_binary64_11298
4×prod-exp_binary64_11380 add-log-exp_binary64_11370 cbrt-unprod_binary64_11364 times-frac_binary64_11337 associate-/r*_binary64_11275
3×pow-prod-down_binary64_11402 unswap-sqr_binary64_11299 *-commutative_binary64_11262
2×sub-neg_binary64_11324 distribute-rgt-in_binary64_11281 cancel-sign-sub-inv_binary64_11297 distribute-lft-in_binary64_11280 flip3--_binary64_11335 flip--_binary64_11306 div-exp_binary64_11382 cbrt-undiv_binary64_11365 distribute-lft-out_binary64_11282 pow2_binary64_11412 pow-prod-up_binary64_11401 pow-plus_binary64_11394 pow-sqr_binary64_11304
1×difference-of-squares_binary64_11300 frac-2neg_binary64_11342 clear-num_binary64_11330 div-inv_binary64_11328 flip3-+_binary64_11334 flip-+_binary64_11305 associate-/l*_binary64_11276
Counts
4 → 591
Calls

4 calls:

67.0ms
(/.f64 (*.f64 y (-.f64 (*.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 t y))) (*.f64 (tanh.f64 (/.f64 x y)) (tanh.f64 (/.f64 x y))))) (+.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))
56.0ms
(*.f64 y (-.f64 (*.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 t y))) (*.f64 (tanh.f64 (/.f64 x y)) (tanh.f64 (/.f64 x y)))))
8.0ms
(*.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 t y)))
8.0ms
(*.f64 (tanh.f64 (/.f64 x y)) (tanh.f64 (/.f64 x y)))
Compiler

Compiled 57686 to 21543 computations (62.7% saved)

series5.5s (25.9%)

Error
0.0b
Counts
4 → 39
Calls

4 calls:

3.7s
(/.f64 (*.f64 y (-.f64 (*.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 t y))) (*.f64 (tanh.f64 (/.f64 x y)) (tanh.f64 (/.f64 x y))))) (+.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))
1.3s
(*.f64 y (-.f64 (*.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 t y))) (*.f64 (tanh.f64 (/.f64 x y)) (tanh.f64 (/.f64 x y)))))
200.0ms
(*.f64 (tanh.f64 (/.f64 x y)) (tanh.f64 (/.f64 x y)))
154.0ms
(*.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 t y)))
Compiler

Compiled 12360 to 8379 computations (32.2% saved)

simplify362.0ms (1.7%)

Algorithm
1×egg-herbie
Counts
630 → 630
Iterations

Useful iterations: 0 (47.0ms)

IterNodesCost
0500947964

prune3.4s (15.8%)

Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New6300630
Fresh033
Picked011
Done011
Total6305635
Error
0.0b
Counts
635 → 5
Compiler

Compiled 60986 to 23805 computations (61% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b
(+.f64 x (+.f64 (*.f64 z (*.f64 y (neg.f64 (tanh.f64 (/.f64 x y))))) (*.f64 z t)))
0.0b
(tanh.f64 (/.f64 x y))
0.3b
(+.f64 (*.f64 z (*.f64 y (neg.f64 (tanh.f64 (/.f64 x y))))) (*.f64 z t))
4.4b
(*.f64 y (neg.f64 (tanh.f64 (/.f64 x y))))

rewrite88.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
11×add-log-exp_binary64_11370
10×add-sqr-sqrt_binary64_11353 *-un-lft-identity_binary64_11331 associate-*r*_binary64_11271
8×add-cube-cbrt_binary64_11366
6×pow1_binary64_11392 add-exp-log_binary64_11369 add-cbrt-cube_binary64_11367
4×sum-log_binary64_11422
3×distribute-neg-frac_binary64_11295 associate-*r/_binary64_11273 associate-*l*_binary64_11272 distribute-rgt-neg-in_binary64_11289 distribute-lft-neg-in_binary64_11288
2×tanh-def-c_binary64_11520 tanh-def-b_binary64_11519 tanh-def-a_binary64_11518 flip3-+_binary64_11334 flip-+_binary64_11305 distribute-lft-out_binary64_11282 +-commutative_binary64_11261
1×pow-prod-down_binary64_11402 prod-exp_binary64_11380 cbrt-unprod_binary64_11364 unswap-sqr_binary64_11299 distribute-rgt-neg-out_binary64_11291 neg-mul-1_binary64_11327 *-commutative_binary64_11262 associate-+r+_binary64_11263
Counts
4 → 65
Calls

4 calls:

10.0ms
(+.f64 (*.f64 z (*.f64 y (neg.f64 (tanh.f64 (/.f64 x y))))) (*.f64 z t))
8.0ms
(*.f64 y (neg.f64 (tanh.f64 (/.f64 x y))))
8.0ms
(+.f64 x (+.f64 (*.f64 z (*.f64 y (neg.f64 (tanh.f64 (/.f64 x y))))) (*.f64 z t)))
2.0ms
(tanh.f64 (/.f64 x y))
Compiler

Compiled 1617 to 383 computations (76.3% saved)

series1.4s (6.7%)

Error
0b
Counts
4 → 51
Calls

4 calls:

582.0ms
(+.f64 x (+.f64 (*.f64 z (*.f64 y (neg.f64 (tanh.f64 (/.f64 x y))))) (*.f64 z t)))
538.0ms
(+.f64 (*.f64 z (*.f64 y (neg.f64 (tanh.f64 (/.f64 x y))))) (*.f64 z t))
151.0ms
(*.f64 y (neg.f64 (tanh.f64 (/.f64 x y))))
102.0ms
(tanh.f64 (/.f64 x y))
Compiler

Compiled 3411 to 2294 computations (32.7% saved)

simplify73.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
116 → 116
Iterations

Useful iterations: 0 (49.0ms)

IterNodesCost
051062182

prune91.0ms (0.4%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New1151116
Fresh112
Picked101
Done022
Total1174121
Error
0b
Counts
121 → 4
Compiler

Compiled 2212 to 663 computations (70% saved)

regimes398.0ms (1.9%)

Accuracy

Total 1.5b remaining (98.5%)

Threshold costs 0b (0%)

Compiler

Compiled 4718 to 3201 computations (32.2% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02623
12623
Removed

()

end0.0ms (0%)

sample1.5s (7.2%)

Algorithm
1×intervals
Results
386.0ms7752×body128valid
30.0ms552×body128invalid
15.0ms80×body1024valid
14.0ms103×body512valid
6.0ms65×body256valid
Compiler

Compiled 982 to 670 computations (31.8% saved)

Profiling

Loading profile data...