Details

Time bar (total: 2.5min)

analyze809.0ms

Algorithm
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

sample25.0ms

Algorithm
intervals
Results
11.0ms244×body80valid
1.0ms3×body1280valid
1.0ms5×body640valid
1.0ms19×body80invalid
0.0ms2×body320valid
0.0ms2×body160valid

simplify88.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (68.0ms)

IterNodesCost
0509223

prune2.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 3.7b

Counts
2 → 1

localize11.0ms

Local error

Found 3 expressions with local error:

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

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
18×frac-sub_binary64_6933
13×tanh-def-a_binary64_6755 tanh-def-c_binary64_6757 tanh-def-b_binary64_6756
11×associate-*r/_binary64_7003
8×pow1_binary64_6884 add-sqr-sqrt_binary64_6927 add-exp-log_binary64_6906 *-un-lft-identity_binary64_6942 add-cbrt-cube_binary64_6914
5×add-log-exp_binary64_6907 associate-*r*_binary64_7001
4×add-cube-cbrt_binary64_6913
3×pow-prod-down_binary64_6865 prod-exp_binary64_6889 cbrt-unprod_binary64_6911 sub-neg_binary64_6946
2×flip--_binary64_6968 distribute-lft-out--_binary64_6987 flip3--_binary64_6941 difference-of-squares_binary64_6971
1×distribute-rgt-in_binary64_6985 associate-*l*_binary64_7002 diff-log_binary64_6853 distribute-lft-in_binary64_6984 *-commutative_binary64_7010
Counts
3 → 65
Calls
3 calls:
9.0ms
(-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))
2.0ms
(tanh.f64 (/.f64 t y))
15.0ms
(*.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))

series868.0ms

Counts
3 → 9
Calls
3 calls:
263.0ms
(-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))
274.0ms
(tanh.f64 (/.f64 t y))
331.0ms
(*.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0844662
1844662
050824500
0844662
1844662
050824500
013
113
0552586
1552586
049922520
149922520
0552586
1552586
049922520
149922520
013
113
0713633
1713633
049923519
149923519
0713633
1713633
049923519
149923519
013
113

simplify110.0ms

Counts
74 → 74
Iterations

Useful iterations: 0 (76.0ms)

IterNodesCost
049872377
149872377

prune81.0ms

Filtered
57 candidates to 74 candidates (-29.8%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New72274
Fresh000
Picked011
Done000
Total72375

Merged error: 1.7b

Counts
75 → 3

localize11.0ms

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

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
33×associate-*r/_binary64_7003
27×frac-sub_binary64_6933
19×tanh-def-a_binary64_6755 tanh-def-c_binary64_6757 tanh-def-b_binary64_6756
13×add-sqr-sqrt_binary64_6927
11×pow1_binary64_6884 add-exp-log_binary64_6906 *-un-lft-identity_binary64_6942 add-cbrt-cube_binary64_6914
7×add-cube-cbrt_binary64_6913 sub-neg_binary64_6946
6×add-log-exp_binary64_6907 associate-*r*_binary64_7001 associate-*l*_binary64_7002
5×distribute-rgt-in_binary64_6985 distribute-lft-in_binary64_6984
4×pow-prod-down_binary64_6865 prod-exp_binary64_6889 cbrt-unprod_binary64_6911
3×flip--_binary64_6968 flip3--_binary64_6941
2×distribute-lft-out--_binary64_6987 difference-of-squares_binary64_6971 *-commutative_binary64_7010
1×diff-log_binary64_6853 unswap-sqr_binary64_6970
Counts
4 → 98
Calls
4 calls:
9.0ms
(-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))
2.0ms
(tanh.f64 (/.f64 t y))
13.0ms
(*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))
15.0ms
(*.f64 y (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))

series1.1s

Counts
4 → 12
Calls
4 calls:
269.0ms
(-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))
275.0ms
(tanh.f64 (/.f64 t y))
239.0ms
(*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))
335.0ms
(*.f64 y (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
0844662
1844662
050264500
0844662
1844662
050264500
013
113
0814611
1814611
054714053
0814611
1814611
054714053
013
113
0552586
1552586
049922520
149922520
0552586
1552586
049922520
149922520
013
113
0713633
1713633
049923519
149923519
0713633
1713633
049923519
149923519
013
113

simplify120.0ms

Counts
110 → 110
Iterations

Useful iterations: 0 (78.0ms)

IterNodesCost
050043433

prune119.0ms

Filtered
82 candidates to 110 candidates (-34.1%)
Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New1073110
Fresh101
Picked011
Done011
Total1085113

Merged error: 1.7b

Counts
113 → 5

localize16.0ms

Local error

Found 4 expressions with local error:

2.9b
(*.f64 y (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))
5.6b
(cbrt.f64 (*.f64 y (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))))
5.6b
(cbrt.f64 (*.f64 y (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))))
5.6b
(cbrt.f64 (*.f64 y (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))))

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
88×associate-*r/_binary64_7003
36×frac-sub_binary64_6933
33×cbrt-div_binary64_6910
24×tanh-def-a_binary64_6755 tanh-def-c_binary64_6757 tanh-def-b_binary64_6756
9×pow1_binary64_6884 add-exp-log_binary64_6906 add-cbrt-cube_binary64_6914
5×add-cube-cbrt_binary64_6913 add-sqr-sqrt_binary64_6927 *-un-lft-identity_binary64_6942
4×distribute-rgt-in_binary64_6985 add-log-exp_binary64_6907 flip--_binary64_6968 flip3--_binary64_6941 sub-neg_binary64_6946 distribute-lft-in_binary64_6984
3×pow-prod-down_binary64_6865 prod-exp_binary64_6889 associate-*l*_binary64_7002 cbrt-unprod_binary64_6911 pow1/3_binary64_6876 cbrt-prod_binary64_6909
1×associate-*r*_binary64_7001 *-commutative_binary64_7010
Counts
4 → 93
Calls
4 calls:
16.0ms
(*.f64 y (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))
14.0ms
(cbrt.f64 (*.f64 y (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))))
14.0ms
(cbrt.f64 (*.f64 y (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))))
14.0ms
(cbrt.f64 (*.f64 y (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))))

series1.1s

Counts
4 → 12
Calls
4 calls:
332.0ms
(*.f64 y (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))
261.0ms
(cbrt.f64 (*.f64 y (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))))
260.0ms
(cbrt.f64 (*.f64 y (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))))
261.0ms
(cbrt.f64 (*.f64 y (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0874680
1874680
058074518
0874680
1874680
058074518
013
113
0874680
1874680
058074518
0874680
1874680
058074518
013
113
0874680
1874680
058074518
0874680
1874680
058074518
013
113
0844662
1844662
050264500
0844662
1844662
050264500
013
113

simplify123.0ms

Counts
105 → 105
Iterations

Useful iterations: 0 (71.0ms)

IterNodesCost
049774791
149774791

prune168.0ms

Filtered
84 candidates to 105 candidates (-25.0%)
Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New1050105
Fresh022
Picked011
Done022
Total1055110

Merged error: 1.7b

Counts
110 → 5

localize25.0ms

Local error

Found 4 expressions with local error:

0.1b
(pow.f64 (tanh.f64 (/.f64 x y)) 3)
0.3b
(*.f64 z (-.f64 (pow.f64 (tanh.f64 (/.f64 t y)) 3) (pow.f64 (tanh.f64 (/.f64 x y)) 3)))
2.2b
(*.f64 y (*.f64 z (-.f64 (pow.f64 (tanh.f64 (/.f64 t y)) 3) (pow.f64 (tanh.f64 (/.f64 x y)) 3))))
10.2b
(/.f64 (*.f64 y (*.f64 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))))))

rewrite1.4s

Algorithm
rewrite-expression-head
Rules
6780×frac-add_binary64_6932
6093×frac-times_binary64_6934
5435×tanh-def-a_binary64_6755 tanh-def-c_binary64_6757 tanh-def-b_binary64_6756
3407×associate-/r/_binary64_7007
2086×associate-*r/_binary64_7003
2031×associate-*l/_binary64_7004
57×cube-div_binary64_6916
38×add-sqr-sqrt_binary64_6927
27×frac-sub_binary64_6933
26×associate-*r*_binary64_7001
22×*-un-lft-identity_binary64_6942
21×add-exp-log_binary64_6906 add-cbrt-cube_binary64_6914
16×flip3-+_binary64_6940 difference-of-squares_binary64_6971 flip-+_binary64_6967
15×unpow-prod-down_binary64_6873 cube-prod_binary64_6915
12×add-cube-cbrt_binary64_6913 pow1_binary64_6884
11×associate-/l/_binary64_7008
9×sqr-pow_binary64_6974
7×prod-exp_binary64_6889 cbrt-unprod_binary64_6911
6×associate-*l*_binary64_7002 sub-neg_binary64_6946
5×distribute-rgt-in_binary64_6985 distribute-lft-out--_binary64_6987 distribute-lft-in_binary64_6984
4×pow-prod-down_binary64_6865 add-log-exp_binary64_6907
3×div-exp_binary64_6891 times-frac_binary64_6937 associate-/r*_binary64_7005 cbrt-undiv_binary64_6912 flip--_binary64_6968 flip3--_binary64_6941 pow-unpow_binary64_6871
2×*-commutative_binary64_7010
1×associate-/l*_binary64_7006 clear-num_binary64_6945 difference-cubes_binary64_6939 pow-pow_binary64_6866 div-inv_binary64_6943 cube-mult_binary64_6917 pow-exp_binary64_6862 pow-to-exp_binary64_6863 frac-2neg_binary64_6935 unpow3_binary64_6882 rem-cube-cbrt_binary64_6918 unswap-sqr_binary64_6970
Counts
4 → 3553
Calls
4 calls:
5.0ms
(pow.f64 (tanh.f64 (/.f64 x y)) 3)
29.0ms
(*.f64 z (-.f64 (pow.f64 (tanh.f64 (/.f64 t y)) 3) (pow.f64 (tanh.f64 (/.f64 x y)) 3)))
28.0ms
(*.f64 y (*.f64 z (-.f64 (pow.f64 (tanh.f64 (/.f64 t y)) 3) (pow.f64 (tanh.f64 (/.f64 x y)) 3))))
393.0ms
(/.f64 (*.f64 y (*.f64 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))))))

series1.1s

Counts
4 → 12
Calls
4 calls:
178.0ms
(pow.f64 (tanh.f64 (/.f64 x y)) 3)
338.0ms
(*.f64 z (-.f64 (pow.f64 (tanh.f64 (/.f64 t y)) 3) (pow.f64 (tanh.f64 (/.f64 x y)) 3)))
220.0ms
(*.f64 y (*.f64 z (-.f64 (pow.f64 (tanh.f64 (/.f64 t y)) 3) (pow.f64 (tanh.f64 (/.f64 x y)) 3))))
327.0ms
(/.f64 (*.f64 y (*.f64 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))))))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
05125436
15125436
049234914
149234914
05125436
15125436
049234914
149234914
013
113
0914716
1914716
046634554
146634554
0914716
1914716
046634554
146634554
013
113
0884665
1884665
047834004
147834004
0884665
1884665
047834004
147834004
013
113
0802613
1802613
054022547
0802613
1802613
054022547
013
113

simplify5.1s

Counts
3565 → 3565
Iterations

Useful iterations: 0 (78.0ms)

IterNodesCost
013433795885

prune2.3min

Filtered
3533 candidates to 3565 candidates (-0.9%)

Profiling

Loading profile data...