Details

Time bar (total: 35.1s)

analyze856.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

sample24.0ms

Algorithm
intervals
Results
12.0ms246×body80valid
1.0ms6×body640valid
1.0ms18×body80invalid
0.0ms3×body320valid
0.0ms1×body160valid

simplify79.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (63.0ms)

IterNodesCost
0576723

prune2.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 4.7b

Counts
2 → 1

localize15.0ms

Local error

Found 4 expressions with local error:

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

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
18×frac-sub_binary64
14×tanh-def-a_binary64 tanh-def-b_binary64 tanh-def-c_binary64
11×associate-*r/_binary64
9×*-un-lft-identity_binary64 pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 add-sqr-sqrt_binary64
6×add-log-exp_binary64
5×associate-*r*_binary64 add-cube-cbrt_binary64
4×insert-posit16
3×pow-prod-down_binary64 sub-neg_binary64 cbrt-unprod_binary64 prod-exp_binary64
2×flip3--_binary64 difference-of-squares_binary64 distribute-lft-out--_binary64 flip--_binary64
1×diff-log_binary64 distribute-lft-in_binary64 associate-*l*_binary64 distribute-rgt-in_binary64 *-commutative_binary64
Counts
4 → 79
Calls
4 calls:
2.0ms
(tanh.f64 (/.f64 t y))
9.0ms
(-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))
2.0ms
(tanh.f64 (/.f64 x y))
16.0ms
(*.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))

series213.0ms

Counts
4 → 12
Calls
4 calls:
48.0ms
(tanh.f64 (/.f64 t y))
56.0ms
(-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))
51.0ms
(tanh.f64 (/.f64 x y))
58.0ms
(*.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0729
1729
0729
1729
013
113
0339
1339
0339
1339
013
113
0629
1629
0629
1629
013
113
0339
1339
0339
1339
013
113

simplify108.0ms

Counts
91 → 91
Iterations

Useful iterations: 0 (73.0ms)

IterNodesCost
053812581

prune101.0ms

Filtered
72 candidates to 91 candidates (-26.4%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New85691
Fresh000
Picked011
Done000
Total85792

Merged error: 1.8b

Counts
92 → 7

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

rewrite45.0ms

Algorithm
rewrite-expression-head
Rules
33×associate-*r/_binary64
27×frac-sub_binary64
19×tanh-def-a_binary64 tanh-def-b_binary64 tanh-def-c_binary64
13×add-sqr-sqrt_binary64
11×*-un-lft-identity_binary64 pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
7×sub-neg_binary64 add-cube-cbrt_binary64
6×add-log-exp_binary64 associate-*r*_binary64 associate-*l*_binary64
5×distribute-lft-in_binary64 distribute-rgt-in_binary64
4×pow-prod-down_binary64 cbrt-unprod_binary64 prod-exp_binary64 insert-posit16
3×flip3--_binary64 flip--_binary64
2×difference-of-squares_binary64 distribute-lft-out--_binary64 *-commutative_binary64
1×diff-log_binary64 unswap-sqr_binary64
Counts
4 → 102
Calls
4 calls:
9.0ms
(-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))
2.0ms
(tanh.f64 (/.f64 x y))
14.0ms
(*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))
16.0ms
(*.f64 y (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))

series223.0ms

Counts
4 → 12
Calls
4 calls:
54.0ms
(-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))
50.0ms
(tanh.f64 (/.f64 x y))
57.0ms
(*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))
62.0ms
(*.f64 y (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0729
1729
0729
1729
013
113
0699
1699
0699
1699
013
113
0339
1339
0339
1339
013
113
0629
1629
0629
1629
013
113

simplify113.0ms

Counts
114 → 114
Iterations

Useful iterations: 0 (72.0ms)

IterNodesCost
053613498

prune132.0ms

Filtered
86 candidates to 114 candidates (-32.6%)
Pruning

11 alts after pruning (9 fresh and 2 done)

PrunedKeptTotal
New1086114
Fresh235
Picked011
Done011
Total11011121

Merged error: 1.8b

Counts
121 → 11

localize20.0ms

Local error

Found 4 expressions with local error:

3.4b
(*.f64 y (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))
7.8b
(cbrt.f64 (*.f64 y (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))))
7.8b
(cbrt.f64 (*.f64 y (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))))
7.8b
(cbrt.f64 (*.f64 y (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))))

rewrite65.0ms

Algorithm
rewrite-expression-head
Rules
88×associate-*r/_binary64
36×frac-sub_binary64
33×cbrt-div_binary64
24×tanh-def-a_binary64 tanh-def-b_binary64 tanh-def-c_binary64
9×pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
5×*-un-lft-identity_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
4×add-log-exp_binary64 sub-neg_binary64 flip3--_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 insert-posit16 flip--_binary64
3×pow-prod-down_binary64 cbrt-unprod_binary64 pow1/3_binary64 associate-*l*_binary64 prod-exp_binary64 cbrt-prod_binary64
1×associate-*r*_binary64 *-commutative_binary64
Counts
4 → 97
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))))))

series246.0ms

Counts
4 → 12
Calls
4 calls:
62.0ms
(*.f64 y (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))
63.0ms
(cbrt.f64 (*.f64 y (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))))
59.0ms
(cbrt.f64 (*.f64 y (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))))
62.0ms
(cbrt.f64 (*.f64 y (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))))
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
0759
1759
0759
1759
013
113
0759
1759
0759
1759
013
113
0759
1759
0759
1759
013
113
0729
1729
0729
1729
013
113

simplify161.0ms

Counts
109 → 109
Iterations

Useful iterations: 0 (112.0ms)

IterNodesCost
054354885

prune177.0ms

Filtered
88 candidates to 109 candidates (-23.9%)
Pruning

11 alts after pruning (8 fresh and 3 done)

PrunedKeptTotal
New1090109
Fresh088
Picked011
Done022
Total10911120

Merged error: 1.8b

Counts
120 → 11

localize17.0ms

Local error

Found 4 expressions with local error:

3.4b
(*.f64 y (*.f64 (*.f64 (cbrt.f64 (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))) (cbrt.f64 (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))) (cbrt.f64 (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))))
5.7b
(cbrt.f64 (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))
5.7b
(cbrt.f64 (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))
5.7b
(cbrt.f64 (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))

rewrite919.0ms

Algorithm
rewrite-expression-head
Rules
6655×associate-*r/_binary64
4785×cbrt-div_binary64
3915×frac-sub_binary64
3025×frac-times_binary64
2610×tanh-def-a_binary64 tanh-def-b_binary64 tanh-def-c_binary64
435×flip3--_binary64 flip--_binary64
275×associate-*l/_binary64
13×pow1_binary64 add-exp-log_binary64
9×add-cbrt-cube_binary64
6×pow-prod-down_binary64 cbrt-unprod_binary64 prod-exp_binary64
5×*-un-lft-identity_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
4×add-log-exp_binary64 insert-posit16
3×pow1/3_binary64 associate-*l*_binary64 cbrt-prod_binary64
1×associate-*r*_binary64 *-commutative_binary64
Counts
4 → 1812
Calls
4 calls:
252.0ms
(*.f64 y (*.f64 (*.f64 (cbrt.f64 (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))) (cbrt.f64 (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))) (cbrt.f64 (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))))
11.0ms
(cbrt.f64 (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))
11.0ms
(cbrt.f64 (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))
11.0ms
(cbrt.f64 (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))

series249.0ms

Counts
4 → 12
Calls
4 calls:
63.0ms
(*.f64 y (*.f64 (*.f64 (cbrt.f64 (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))) (cbrt.f64 (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))) (cbrt.f64 (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))))
60.0ms
(cbrt.f64 (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))
59.0ms
(cbrt.f64 (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))
67.0ms
(cbrt.f64 (*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0729
1729
0729
1729
013
113
0729
1729
0729
1729
013
113
0729
1729
0729
1729
013
113
0899
1899
0899
1899
013
113

simplify2.1s

Counts
1824 → 1824
Iterations

Useful iterations: 0 (220.0ms)

IterNodesCost
05006299206

prune28.4s

Filtered
1679 candidates to 1824 candidates (-8.6%)
Pruning

11 alts after pruning (7 fresh and 4 done)

PrunedKeptTotal
New182401824
Fresh077
Picked011
Done033
Total1824111835

Merged error: 1.8b

Counts
1835 → 11

regimes136.0ms

Accuracy

0% (0.5b remaining)

Error of 2.2b against oracle of 1.6b and baseline of 2.2b

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
02623
12623

end0.0ms

sample697.0ms

Algorithm
intervals
Results
387.0ms7748×body80valid
27.0ms550×body80invalid
24.0ms109×body640valid
13.0ms50×body1280valid
8.0ms57×body320valid
4.0ms36×body160valid

Profiling

Loading profile data...