Details

Time bar (total: 2.5min)

analyze783.0ms (0.5%)

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)

sample28.0ms (0%)

Algorithm
1×intervals
Results
12.0ms247×body128valid
1.0ms30×body128invalid
1.0ms6×body256valid
0.0ms2×body512valid
0.0ms1×body1024valid
Compiler

Compiled 31 to 29 computations (6.5% saved)

simplify126.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (36.0ms)

IterNodesCost
0514523

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 3.8b

Counts
2 → 1
Compiler

Compiled 30 to 24 computations (20% saved)

localize11.0ms (0%)

Local error

Found 4 expressions with local error:

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.2b
(-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))
4.1b
(*.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_10658
15×cancel-sign-sub-inv_binary64_10615
14×*-un-lft-identity_binary64_10649 add-sqr-sqrt_binary64_10671
13×tanh-def-b_binary64_10837 tanh-def-c_binary64_10838 tanh-def-a_binary64_10836
11×associate-*r/_binary64_10591
10×add-cube-cbrt_binary64_10684
9×pow1_binary64_10710 add-cbrt-cube_binary64_10685 add-exp-log_binary64_10687
8×add-log-exp_binary64_10688 distribute-rgt-in_binary64_10599 distribute-lft-in_binary64_10598 associate-+r+_binary64_10581
5×sub-neg_binary64_10642 associate-*r*_binary64_10589
3×prod-exp_binary64_10698 cbrt-unprod_binary64_10682 pow-prod-down_binary64_10720
2×difference-of-squares_binary64_10618 distribute-lft-out--_binary64_10601 flip3--_binary64_10653 flip--_binary64_10624
1×sum-log_binary64_10740 +-commutative_binary64_10579 *-commutative_binary64_10580 flip-+_binary64_10623 flip3-+_binary64_10652 associate-*l*_binary64_10590 diff-log_binary64_10741
Counts
4 → 93
Calls

4 calls:

14.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)))
5.0ms
(+.f64 x (*.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))
2.0ms
(tanh.f64 (/.f64 t y))

series890.0ms (0.6%)

Counts
4 → 12
Calls

4 calls:

379.0ms
(+.f64 x (*.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))
227.0ms
(-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))
203.0ms
(*.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))
80.0ms
(tanh.f64 (/.f64 t y))

simplify76.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
105 → 105
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
049803190
149803190

prune122.0ms (0.1%)

Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New996105
Fresh000
Picked101
Done000
Total1006106

Merged error: 0.3b

Counts
106 → 6
Compiler

Compiled 3191 to 919 computations (71.2% saved)

localize12.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b
(tanh.f64 (/.f64 t y))
0.2b
(-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))
0.5b
(*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))
3.6b
(*.f64 y (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))

rewrite52.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
33×associate-*r/_binary64_10591
27×frac-sub_binary64_10658
21×cancel-sign-sub-inv_binary64_10615
20×distribute-rgt-in_binary64_10599 distribute-lft-in_binary64_10598 add-sqr-sqrt_binary64_10671
19×tanh-def-b_binary64_10837 tanh-def-c_binary64_10838 tanh-def-a_binary64_10836
18×*-un-lft-identity_binary64_10649
14×add-cube-cbrt_binary64_10684
11×pow1_binary64_10710 add-cbrt-cube_binary64_10685 add-exp-log_binary64_10687
7×sub-neg_binary64_10642
6×add-log-exp_binary64_10688 associate-*r*_binary64_10589 associate-*l*_binary64_10590
4×prod-exp_binary64_10698 cbrt-unprod_binary64_10682 pow-prod-down_binary64_10720
3×flip3--_binary64_10653 flip--_binary64_10624
2×difference-of-squares_binary64_10618 *-commutative_binary64_10580 distribute-lft-out--_binary64_10601
1×unswap-sqr_binary64_10617 diff-log_binary64_10741
Counts
4 → 119
Calls

4 calls:

18.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 t y))

series789.0ms (0.5%)

Counts
4 → 12
Calls

4 calls:

272.0ms
(*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))
225.0ms
(-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))
209.0ms
(*.f64 y (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))
83.0ms
(tanh.f64 (/.f64 t y))

simplify85.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
131 → 131
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
051283978

prune137.0ms (0.1%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New1301131
Fresh145
Picked011
Done000
Total1316137

Merged error: 0.2b

Counts
137 → 6
Compiler

Compiled 3998 to 1225 computations (69.4% saved)

localize16.0ms (0%)

Local error

Found 4 expressions with local error:

4.1b
(*.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))
7.3b
(cbrt.f64 (*.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))
7.3b
(cbrt.f64 (*.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))
7.3b
(cbrt.f64 (*.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))

rewrite68.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
44×associate-*r/_binary64_10591
36×frac-sub_binary64_10658
33×cbrt-div_binary64_10681
24×tanh-def-b_binary64_10837 tanh-def-c_binary64_10838 tanh-def-a_binary64_10836
9×pow1_binary64_10710 add-cbrt-cube_binary64_10685 add-exp-log_binary64_10687 *-un-lft-identity_binary64_10649 add-sqr-sqrt_binary64_10671
7×add-cube-cbrt_binary64_10684
6×cancel-sign-sub-inv_binary64_10615
5×associate-*r*_binary64_10589
4×add-log-exp_binary64_10688 distribute-rgt-in_binary64_10599 distribute-lft-in_binary64_10598 flip3--_binary64_10653 flip--_binary64_10624
3×cbrt-prod_binary64_10680 prod-exp_binary64_10698 cbrt-unprod_binary64_10682 pow-prod-down_binary64_10720 pow1/3_binary64_10731
2×sub-neg_binary64_10642
1×difference-of-squares_binary64_10618 *-commutative_binary64_10580 distribute-lft-out--_binary64_10601 associate-*l*_binary64_10590
Counts
4 → 99
Calls

4 calls:

14.0ms
(*.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))
13.0ms
(cbrt.f64 (*.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))
11.0ms
(cbrt.f64 (*.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))
11.0ms
(cbrt.f64 (*.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))

series1.8s (1.2%)

Counts
4 → 12
Calls

4 calls:

554.0ms
(cbrt.f64 (*.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))
544.0ms
(cbrt.f64 (*.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))
529.0ms
(cbrt.f64 (*.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))
193.0ms
(*.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))

simplify104.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
111 → 111
Iterations

Useful iterations: 0 (62.0ms)

IterNodesCost
049735058
149735058

prune182.0ms (0.1%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New1110111
Fresh044
Picked011
Done011
Total1116117

Merged error: 0.2b

Counts
117 → 6
Compiler

Compiled 7437 to 1487 computations (80% saved)

localize22.0ms (0%)

Local error

Found 4 expressions with local error:

0.1b
(pow.f64 (tanh.f64 (/.f64 t y)) 3)
0.2b
(-.f64 (pow.f64 (tanh.f64 (/.f64 t y)) 3) (pow.f64 (tanh.f64 (/.f64 x y)) 3))
4.0b
(*.f64 (*.f64 y z) (-.f64 (pow.f64 (tanh.f64 (/.f64 t y)) 3) (pow.f64 (tanh.f64 (/.f64 x y)) 3)))
9.7b
(/.f64 (*.f64 (*.f64 y z) (-.f64 (pow.f64 (tanh.f64 (/.f64 t y)) 3) (pow.f64 (tanh.f64 (/.f64 x y)) 3))) (+.f64 (*.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 t y))) (+.f64 (*.f64 (tanh.f64 (/.f64 x y)) (tanh.f64 (/.f64 x y))) (*.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))))

rewrite2.6s (1.7%)

Algorithm
1×rewrite-expression-head
Rules
6780×frac-add_binary64_10657
6093×frac-times_binary64_10659
5435×tanh-def-b_binary64_10837 tanh-def-c_binary64_10838 tanh-def-a_binary64_10836
3407×associate-/r/_binary64_10595
2053×associate-*r/_binary64_10591
2031×associate-*l/_binary64_10592
67×add-sqr-sqrt_binary64_10671
57×cube-div_binary64_10678
39×*-un-lft-identity_binary64_10649
36×cancel-sign-sub-inv_binary64_10615 cube-prod_binary64_10677 unpow-prod-down_binary64_10728
32×difference-of-squares_binary64_10618
27×frac-sub_binary64_10658
25×associate-*r*_binary64_10589
20×sqr-pow_binary64_10621
19×add-cbrt-cube_binary64_10685 add-exp-log_binary64_10687 add-cube-cbrt_binary64_10684
16×flip-+_binary64_10623 flip3-+_binary64_10652
13×distribute-rgt-in_binary64_10599 distribute-lft-in_binary64_10598
11×associate-/l/_binary64_10596
10×pow1_binary64_10710 distribute-lft-out--_binary64_10601
6×prod-exp_binary64_10698 cbrt-unprod_binary64_10682 add-log-exp_binary64_10688
4×unpow3_binary64_10715 cube-mult_binary64_10679
3×associate-/r*_binary64_10593 pow-prod-down_binary64_10720 sub-neg_binary64_10642 div-exp_binary64_10700 cbrt-undiv_binary64_10683 pow-unpow_binary64_10726 times-frac_binary64_10655 flip3--_binary64_10653 flip--_binary64_10624
2×difference-cubes_binary64_10651
1×clear-num_binary64_10648 rem-cube-cbrt_binary64_10672 associate-/l*_binary64_10594 pow-pow_binary64_10721 *-commutative_binary64_10580 frac-2neg_binary64_10660 pow-exp_binary64_10717 div-inv_binary64_10646 pow-to-exp_binary64_10718 associate-*l*_binary64_10590 diff-log_binary64_10741
Counts
4 → 3598
Calls

4 calls:

346.0ms
(/.f64 (*.f64 (*.f64 y z) (-.f64 (pow.f64 (tanh.f64 (/.f64 t y)) 3) (pow.f64 (tanh.f64 (/.f64 x y)) 3))) (+.f64 (*.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 t y))) (+.f64 (*.f64 (tanh.f64 (/.f64 x y)) (tanh.f64 (/.f64 x y))) (*.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))))
27.0ms
(*.f64 (*.f64 y z) (-.f64 (pow.f64 (tanh.f64 (/.f64 t y)) 3) (pow.f64 (tanh.f64 (/.f64 x y)) 3)))
17.0ms
(-.f64 (pow.f64 (tanh.f64 (/.f64 t y)) 3) (pow.f64 (tanh.f64 (/.f64 x y)) 3))
4.0ms
(pow.f64 (tanh.f64 (/.f64 t y)) 3)

series12.9s (8.6%)

Counts
4 → 12
Calls

4 calls:

10.9s
(/.f64 (*.f64 (*.f64 y z) (-.f64 (pow.f64 (tanh.f64 (/.f64 t y)) 3) (pow.f64 (tanh.f64 (/.f64 x y)) 3))) (+.f64 (*.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 t y))) (+.f64 (*.f64 (tanh.f64 (/.f64 x y)) (tanh.f64 (/.f64 x y))) (*.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))))
1.1s
(-.f64 (pow.f64 (tanh.f64 (/.f64 t y)) 3) (pow.f64 (tanh.f64 (/.f64 x y)) 3))
744.0ms
(*.f64 (*.f64 y z) (-.f64 (pow.f64 (tanh.f64 (/.f64 t y)) 3) (pow.f64 (tanh.f64 (/.f64 x y)) 3)))
156.0ms
(pow.f64 (tanh.f64 (/.f64 t y)) 3)

simplify5.1s (3.4%)

Algorithm
1×egg-herbie
Counts
3610 → 3610
Iterations

Useful iterations: 0 (94.0ms)

IterNodesCost
013463798274

prune2.1min (82.7%)

Profiling

Loading profile data...