Details

Time bar (total: 4.2s)

sample36.0ms

Algorithm
intervals
Results
12.0ms255×body80valid
1.0ms7×body640valid
1.0ms5×body1280valid
0.0ms3×body320valid
0.0ms2×body160valid

simplify77.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0548
11418
23258
39798
437008
550018

prune4.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 4.3b

Counts
2 → 1

localize16.0ms

Local error

Found 4 expressions with local error:

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

rewrite25.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:
2.0ms
(tanh (/ t y))
3.0ms
(+ x (* (* y z) (- (tanh (/ t y)) (tanh (/ x y)))))
6.0ms
(- (tanh (/ t y)) (tanh (/ x y)))
11.0ms
(* (* y z) (- (tanh (/ t y)) (tanh (/ x y))))

series283.0ms

Counts
4 → 12
Calls
4 calls:
27.0ms
(tanh (/ t y))
113.0ms
(+ x (* (* y z) (- (tanh (/ t y)) (tanh (/ x y)))))
74.0ms
(- (tanh (/ t y)) (tanh (/ x y)))
70.0ms
(* (* y z) (- (tanh (/ t y)) (tanh (/ x y))))

simplify70.0ms

Algorithm
egg-herbie
Counts
95 → 95
Iterations

Useful iterations: 1 (14.0ms)

IterNodesCost
05841136
126681079
250011079

prune153.0ms

Filtered
73 candidates to 95 candidates (-30.1%)
Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New88795
Fresh000
Picked011
Done000
Total88896

Merged error: 1.0b

Counts
96 → 8

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(tanh (/ t y))
0.0b
(- (tanh (/ t y)) (tanh (/ x y)))
1.2b
(* z (- (tanh (/ t y)) (tanh (/ x y))))
3.0b
(* y (* z (- (tanh (/ t y)) (tanh (/ x y)))))

rewrite35.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:
2.0ms
(tanh (/ t y))
8.0ms
(- (tanh (/ t y)) (tanh (/ x y)))
10.0ms
(* z (- (tanh (/ t y)) (tanh (/ x y))))
11.0ms
(* y (* z (- (tanh (/ t y)) (tanh (/ x y)))))

series264.0ms

Counts
4 → 12
Calls
4 calls:
29.0ms
(tanh (/ t y))
76.0ms
(- (tanh (/ t y)) (tanh (/ x y)))
92.0ms
(* z (- (tanh (/ t y)) (tanh (/ x y))))
67.0ms
(* y (* z (- (tanh (/ t y)) (tanh (/ x y)))))

simplify65.0ms

Algorithm
egg-herbie
Counts
117 → 117
Iterations

Useful iterations: 1 (14.0ms)

IterNodesCost
05391404
123441324
250011324

prune164.0ms

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

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New1152117
Fresh246
Picked101
Done011
Total1187125

Merged error: 0.2b

Counts
125 → 7

localize15.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt z)
0.6b
(cbrt z)
0.8b
(* (cbrt z) (- (tanh (/ t y)) (tanh (/ x y))))
3.0b
(* y (* (* (cbrt z) (cbrt z)) (* (cbrt z) (- (tanh (/ t y)) (tanh (/ x y))))))

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
44×associate-*r/
26×distribute-rgt-in distribute-lft-in
24×pow1 add-exp-log
18×frac-sub
17×add-cbrt-cube
16×add-sqr-sqrt
14×pow-prod-down prod-exp cbrt-unprod
12×*-un-lft-identity tanh-def
10×cbrt-prod add-cube-cbrt sub-neg
9×associate-*l*
6×associate-*r*
4×add-log-exp
2×flip3-- pow1/3 *-commutative flip-- unswap-sqr
1×distribute-lft-out-- difference-of-squares
Counts
4 → 115
Calls
4 calls:
1.0ms
(cbrt z)
1.0ms
(cbrt z)
11.0ms
(* (cbrt z) (- (tanh (/ t y)) (tanh (/ x y))))
19.0ms
(* y (* (* (cbrt z) (cbrt z)) (* (cbrt z) (- (tanh (/ t y)) (tanh (/ x y))))))

series240.0ms

Counts
4 → 12
Calls
4 calls:
22.0ms
(cbrt z)
24.0ms
(cbrt z)
120.0ms
(* (cbrt z) (- (tanh (/ t y)) (tanh (/ x y))))
75.0ms
(* y (* (* (cbrt z) (cbrt z)) (* (cbrt z) (- (tanh (/ t y)) (tanh (/ x y))))))

simplify83.0ms

Algorithm
egg-herbie
Counts
127 → 127
Iterations

Useful iterations: 2 (69.0ms)

IterNodesCost
07051679
132191376
250011320

prune146.0ms

Filtered
81 candidates to 127 candidates (-56.8%)
Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New1270127
Fresh055
Picked011
Done011
Total1277134

Merged error: 0.2b

Counts
134 → 7

localize14.0ms

Local error

Found 4 expressions with local error:

4.6b
(* (* y z) (- (* (* (cbrt (tanh (/ t y))) (cbrt (tanh (/ t y)))) (cbrt (tanh (/ t y)))) (tanh (/ x y))))
6.2b
(cbrt (tanh (/ t y)))
6.2b
(cbrt (tanh (/ t y)))
6.2b
(cbrt (tanh (/ t y)))

rewrite81.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:
47.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)))

series232.0ms

Counts
4 → 12
Calls
4 calls:
67.0ms
(* (* y z) (- (* (* (cbrt (tanh (/ t y))) (cbrt (tanh (/ t y)))) (cbrt (tanh (/ t y)))) (tanh (/ x y))))
54.0ms
(cbrt (tanh (/ t y)))
52.0ms
(cbrt (tanh (/ t y)))
58.0ms
(cbrt (tanh (/ t y)))

simplify110.0ms

Algorithm
egg-herbie
Counts
267 → 267
Iterations

Useful iterations: 1 (39.0ms)

IterNodesCost
037249580
150019367

prune928.0ms

Filtered
183 candidates to 267 candidates (-45.9%)
Pruning

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New2670267
Fresh044
Picked011
Done022
Total2677274

Merged error: 0.2b

Counts
274 → 7

regimes359.0ms

Accuracy

0% (2.0b remaining)

Error of 2.4b against oracle of 0.4b and baseline of 2.4b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01913
11913

end0.0ms

sample782.0ms

Algorithm
intervals
Results
403.0ms8242×body80valid
21.0ms59×body1280valid
20.0ms108×body640valid
9.0ms68×body320valid
5.0ms49×body160valid

Profiling

Loading profile data...