Details

Time bar (total: 2.5min)

analyze1.7s (1.1%)

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
Compiler

Compiled 16 to 13 computations (18.8% saved)

sample51.0ms (0%)

Algorithm
1×intervals
Results
24.0ms251×body128valid
2.0ms17×body128invalid
1.0ms3×body1024valid
0.0ms1×body512valid
0.0ms1×body256valid
Compiler

Compiled 31 to 29 computations (6.5% saved)

simplify113.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (94.0ms)

IterNodesCost
0515523

prune5.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 30 to 24 computations (20% saved)

localize23.0ms (0%)

Local error

Found 4 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)))
4.4b
(*.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))

rewrite238.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Error
1.2b
Rules
18×frac-sub_binary64_10999
14×tanh-def-c_binary64_11179 tanh-def-b_binary64_11178 tanh-def-a_binary64_11177
12×add-sqr-sqrt_binary64_11012 *-un-lft-identity_binary64_10990
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×pow-prod-down_binary64_11061 prod-exp_binary64_11039 cbrt-unprod_binary64_11023 sub-neg_binary64_10983
2×flip3--_binary64_10994 flip--_binary64_10965 difference-of-squares_binary64_10959 distribute-lft-out--_binary64_10942
1×associate-*l*_binary64_10931 *-commutative_binary64_10921 diff-log_binary64_11082
Counts
4 → 84
Calls

4 calls:

26.0ms
(*.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))
14.0ms
(-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))
4.0ms
(tanh.f64 (/.f64 t y))
3.0ms
(tanh.f64 (/.f64 x y))
Compiler

Compiled 2795 to 837 computations (70.1% saved)

series3.6s (2.4%)

Error
0.3b
Counts
4 → 55
Calls

4 calls:

2.0s
(*.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))
961.0ms
(-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))
345.0ms
(tanh.f64 (/.f64 x y))
186.0ms
(tanh.f64 (/.f64 t y))
Compiler

Compiled 5705 to 3961 computations (30.6% saved)

simplify159.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
139 → 139
Iterations

Useful iterations: 0 (88.0ms)

IterNodesCost
049714195
149714195

prune272.0ms (0.2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New1354139
Fresh000
Picked011
Done000
Total1355140
Error
0b
Counts
140 → 5
Compiler

Compiled 4072 to 1396 computations (65.7% saved)

localize43.0ms (0%)

Local error

Found 4 expressions with local error:

0.1b
(*.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 t y)))
0.1b
(pow.f64 (tanh.f64 (/.f64 t y)) 3)
6.4b
(*.f64 (*.f64 z y) (-.f64 (pow.f64 (tanh.f64 (/.f64 t y)) 3) (pow.f64 (tanh.f64 (/.f64 x y)) 3)))
10.0b
(/.f64 (*.f64 (*.f64 z y) (-.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.4min (95.8%)

Algorithm
1×rewrite-expression-head
Rules
6780×frac-add_binary64_10998
6102×frac-times_binary64_11000
5437×tanh-def-c_binary64_11179 tanh-def-b_binary64_11178 tanh-def-a_binary64_11177
3407×associate-/r/_binary64_10936
2056×associate-*r/_binary64_10932
2034×associate-*l/_binary64_10933
46×add-sqr-sqrt_binary64_11012
39×cube-div_binary64_11019
30×*-un-lft-identity_binary64_10990
28×associate-*r*_binary64_10930
24×cancel-sign-sub-inv_binary64_10956
21×add-exp-log_binary64_11028 add-cbrt-cube_binary64_11026 unpow-prod-down_binary64_11069 cube-prod_binary64_11018
20×add-cube-cbrt_binary64_11025
18×frac-sub_binary64_10999
17×pow1_binary64_11051
16×flip3-+_binary64_10993 flip-+_binary64_10964 difference-of-squares_binary64_10959
13×distribute-rgt-in_binary64_10940 distribute-lft-in_binary64_10939
11×associate-/l/_binary64_10937 sqr-pow_binary64_10962
7×prod-exp_binary64_11039 cbrt-unprod_binary64_11023
5×distribute-lft-out--_binary64_10942
4×add-log-exp_binary64_11029 pow-prod-down_binary64_11061 associate-*l*_binary64_10931
3×div-exp_binary64_11041 cbrt-undiv_binary64_11024 times-frac_binary64_10996 associate-/r*_binary64_10934 unpow3_binary64_11056 cube-mult_binary64_11020 pow-unpow_binary64_11067 swap-sqr_binary64_10957
2×flip3--_binary64_10994 flip--_binary64_10965 sub-neg_binary64_10983 *-commutative_binary64_10921
1×frac-2neg_binary64_11001 clear-num_binary64_10989 div-inv_binary64_10987 associate-/l*_binary64_10935 difference-cubes_binary64_10992 pow-pow_binary64_11062 pow-to-exp_binary64_11059 pow-exp_binary64_11058 rem-cube-cbrt_binary64_11013 pow2_binary64_11071 pow-prod-up_binary64_11060 pow-plus_binary64_11053 pow-sqr_binary64_10963 unswap-sqr_binary64_10958
Counts
4 → 3584
Calls

4 calls:

583.0ms
(/.f64 (*.f64 (*.f64 z y) (-.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))))))
45.0ms
(*.f64 (*.f64 z y) (-.f64 (pow.f64 (tanh.f64 (/.f64 t y)) 3) (pow.f64 (tanh.f64 (/.f64 x y)) 3)))
12.0ms
(*.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 t y)))
7.0ms
(pow.f64 (tanh.f64 (/.f64 t y)) 3)

Profiling

Loading profile data...