Details

Time bar (total: 47.1s)

sample31.0ms

Algorithm
intervals
Results
13.0ms267×body80valid
1.0ms3×body640valid
0.0ms2×body320valid
0.0ms1×body1280valid

simplify54.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (52.0ms)

IterNodesCost
0518315

prune12.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 1.8b

Counts
2 → 2

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (tanh (/ t y)) (tanh (/ x y)))
0.0b
(tanh (/ t y))
1.6b
(* z (- (tanh (/ t y)) (tanh (/ x y))))
2.5b
(* y (* z (- (tanh (/ t y)) (tanh (/ x y)))))

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
33×associate-*r/
27×frac-sub
19×tanh-def
13×add-sqr-sqrt
11×pow1 add-exp-log *-un-lft-identity add-cbrt-cube
10×distribute-rgt-in distribute-lft-in
7×add-cube-cbrt sub-neg
6×associate-*r* associate-*l* add-log-exp
4×pow-prod-down prod-exp cbrt-unprod
3×flip3-- flip--
2×*-commutative distribute-lft-out-- difference-of-squares
1×diff-log unswap-sqr
Counts
4 → 105
Calls
4 calls:
7.0ms
(- (tanh (/ t y)) (tanh (/ x y)))
2.0ms
(tanh (/ t y))
13.0ms
(* z (- (tanh (/ t y)) (tanh (/ x y))))
12.0ms
(* y (* z (- (tanh (/ t y)) (tanh (/ x y)))))

series250.0ms

Counts
4 → 12
Calls
4 calls:
72.0ms
(- (tanh (/ t y)) (tanh (/ x y)))
27.0ms
(tanh (/ t y))
88.0ms
(* z (- (tanh (/ t y)) (tanh (/ x y))))
64.0ms
(* y (* z (- (tanh (/ t y)) (tanh (/ x y)))))

simplify59.0ms

Algorithm
egg-herbie
Counts
117 → 117
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
049912342
149912342

prune172.0ms

Filtered
85 candidates to 117 candidates (-37.6%)
Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New1116117
Fresh011
Picked011
Done000
Total1118119

Merged error: 1.8b

Counts
119 → 8

localize16.0ms

Local error

Found 4 expressions with local error:

2.5b
(* y (* (* z (* (cbrt (- (tanh (/ t y)) (tanh (/ x y)))) (cbrt (- (tanh (/ t y)) (tanh (/ x y)))))) (cbrt (- (tanh (/ t y)) (tanh (/ x y))))))
2.8b
(cbrt (- (tanh (/ t y)) (tanh (/ x y))))
2.8b
(cbrt (- (tanh (/ t y)) (tanh (/ x y))))
2.8b
(cbrt (- (tanh (/ t y)) (tanh (/ x y))))

rewrite660.0ms

Algorithm
rewrite-expression-head
Rules
4785×cbrt-div
3915×frac-sub
3586×associate-*r/
3025×frac-times
2610×tanh-def
435×flip3-- flip--
275×associate-*l/
18×pow1 add-exp-log
15×cbrt-prod
14×add-sqr-sqrt *-un-lft-identity
13×add-cbrt-cube
10×pow-prod-down prod-exp cbrt-unprod
8×add-cube-cbrt
4×add-log-exp
3×pow1/3 associate-*l* distribute-lft-out-- difference-of-squares
1×associate-*r* *-commutative
Counts
4 → 1823
Calls
4 calls:
205.0ms
(* y (* (* z (* (cbrt (- (tanh (/ t y)) (tanh (/ x y)))) (cbrt (- (tanh (/ t y)) (tanh (/ x y)))))) (cbrt (- (tanh (/ t y)) (tanh (/ x y))))))
9.0ms
(cbrt (- (tanh (/ t y)) (tanh (/ x y))))
7.0ms
(cbrt (- (tanh (/ t y)) (tanh (/ x y))))
7.0ms
(cbrt (- (tanh (/ t y)) (tanh (/ x y))))

series497.0ms

Counts
4 → 12
Calls
4 calls:
65.0ms
(* y (* (* z (* (cbrt (- (tanh (/ t y)) (tanh (/ x y)))) (cbrt (- (tanh (/ t y)) (tanh (/ x y)))))) (cbrt (- (tanh (/ t y)) (tanh (/ x y))))))
142.0ms
(cbrt (- (tanh (/ t y)) (tanh (/ x y))))
144.0ms
(cbrt (- (tanh (/ t y)) (tanh (/ x y))))
145.0ms
(cbrt (- (tanh (/ t y)) (tanh (/ x y))))

simplify757.0ms

Algorithm
egg-herbie
Counts
1835 → 1835
Iterations

Useful iterations: 0 (82.0ms)

IterNodesCost
06184183573

prune41.5s

Filtered
1821 candidates to 1835 candidates (-0.8%)
Pruning

9 alts after pruning (7 fresh and 2 done)

PrunedKeptTotal
New183321835
Fresh156
Picked011
Done011
Total183491843

Merged error: 1.8b

Counts
1843 → 9

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ x (* (* y z) (- (tanh (/ t y)) (tanh (/ x y)))))
0.0b
(tanh (/ t y))
0.0b
(- (tanh (/ t y)) (tanh (/ x y)))
5.1b
(* (* y z) (- (tanh (/ t y)) (tanh (/ x y))))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
18×frac-sub
13×tanh-def
11×associate-*r/
9×pow1 add-exp-log add-sqr-sqrt *-un-lft-identity add-cbrt-cube
8×add-log-exp
5×add-cube-cbrt sub-neg associate-*r*
4×distribute-rgt-in associate-+r+ distribute-lft-in
3×pow-prod-down prod-exp cbrt-unprod
2×flip3-- flip-- distribute-lft-out-- difference-of-squares
1×+-commutative flip3-+ diff-log associate-*l* sum-log *-commutative flip-+
Counts
4 → 83
Calls
4 calls:
3.0ms
(+ x (* (* y z) (- (tanh (/ t y)) (tanh (/ x y)))))
2.0ms
(tanh (/ t y))
6.0ms
(- (tanh (/ t y)) (tanh (/ x y)))
12.0ms
(* (* y z) (- (tanh (/ t y)) (tanh (/ x y))))

series275.0ms

Counts
4 → 12
Calls
4 calls:
110.0ms
(+ x (* (* y z) (- (tanh (/ t y)) (tanh (/ x y)))))
25.0ms
(tanh (/ t y))
73.0ms
(- (tanh (/ t y)) (tanh (/ x y)))
67.0ms
(* (* y z) (- (tanh (/ t y)) (tanh (/ x y))))

simplify31.0ms

Algorithm
egg-herbie
Counts
95 → 95
Iterations

Useful iterations: 0 (20.0ms)

IterNodesCost
050311931

prune145.0ms

Filtered
72 candidates to 95 candidates (-31.9%)
Pruning

10 alts after pruning (8 fresh and 2 done)

PrunedKeptTotal
New92395
Fresh156
Picked011
Done112
Total9410104

Merged error: 0.8b

Counts
104 → 10

localize18.0ms

Local error

Found 4 expressions with local error:

5.1b
(* (* y z) (- (* (* (cbrt (tanh (/ t y))) (cbrt (tanh (/ t y)))) (cbrt (tanh (/ t y)))) (tanh (/ x y))))
6.9b
(cbrt (tanh (/ t y)))
6.9b
(cbrt (tanh (/ t y)))
6.9b
(cbrt (tanh (/ t y)))

rewrite87.0ms

Algorithm
rewrite-expression-head
Rules
441×cbrt-div
243×frac-times
236×associate-*r/
210×tanh-def
189×frac-sub
81×associate-*l/
9×pow1 add-exp-log cbrt-prod add-cbrt-cube
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×add-log-exp
3×pow1/3 associate-*r* pow-prod-down prod-exp cbrt-unprod
2×distribute-rgt-in sub-neg distribute-lft-in
1×flip3-- associate-*l* *-commutative flip--
Counts
4 → 255
Calls
4 calls:
49.0ms
(* (* y z) (- (* (* (cbrt (tanh (/ t y))) (cbrt (tanh (/ t y)))) (cbrt (tanh (/ t y)))) (tanh (/ x y))))
2.0ms
(cbrt (tanh (/ t y)))
2.0ms
(cbrt (tanh (/ t y)))
2.0ms
(cbrt (tanh (/ t y)))

series222.0ms

Counts
4 → 12
Calls
4 calls:
64.0ms
(* (* y z) (- (* (* (cbrt (tanh (/ t y))) (cbrt (tanh (/ t y)))) (cbrt (tanh (/ t y)))) (tanh (/ x y))))
52.0ms
(cbrt (tanh (/ t y)))
50.0ms
(cbrt (tanh (/ t y)))
56.0ms
(cbrt (tanh (/ t y)))

simplify122.0ms

Algorithm
egg-herbie
Counts
267 → 267
Iterations

Useful iterations: 0 (61.0ms)

IterNodesCost
0498114820
1498114820

prune760.0ms

Filtered
180 candidates to 267 candidates (-48.3%)
Pruning

10 alts after pruning (7 fresh and 3 done)

PrunedKeptTotal
New2670267
Fresh077
Picked011
Done022
Total26710277

Merged error: 0.8b

Counts
277 → 10

regimes481.0ms

Accuracy

0% (1.2b remaining)

Error of 2.0b against oracle of 0.8b and baseline of 2.0b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01515
11515

end0.0ms

sample847.0ms

Algorithm
intervals
Results
418.0ms8317×body80valid
20.0ms91×body640valid
11.0ms40×body1280valid
8.0ms56×body320valid
4.0ms40×body160valid

Profiling

Loading profile data...