Details

Time bar (total: 33.9s)

sample36.0ms

Algorithm
intervals
Results
23.0ms270×body80valid
1.0ms4×body640valid
0.0ms1×body320valid

simplify76.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
0548
11467
23377
310177
436597
550017

prune8.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.1b

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(tanh (/ x y))
0.0b
(- (tanh (/ t y)) (tanh (/ x y)))
0.5b
(fma y (* z (- (tanh (/ t y)) (tanh (/ x y)))) x)
1.1b
(* z (- (tanh (/ t y)) (tanh (/ x y))))

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
31×add-sqr-sqrt
29×*-un-lft-identity
27×prod-diff
25×add-cube-cbrt
18×frac-sub
13×tanh-def
11×distribute-rgt-in distribute-lft-in associate-*r/
6×pow1 add-exp-log add-cbrt-cube add-log-exp
5×associate-*r*
4×expm1-log1p-u log1p-expm1-u
3×sub-neg fma-neg associate-*l*
2×flip3-- flip-- distribute-lft-out-- difference-of-squares
1×diff-log pow-prod-down prod-exp *-commutative cbrt-unprod fma-udef unswap-sqr
Counts
4 → 114
Calls
4 calls:
1.0ms
(tanh (/ x y))
7.0ms
(- (tanh (/ t y)) (tanh (/ x y)))
0.0ms
(fma y (* z (- (tanh (/ t y)) (tanh (/ x y)))) x)
26.0ms
(* z (- (tanh (/ t y)) (tanh (/ x y))))

series738.0ms

Counts
4 → 12
Calls
4 calls:
76.0ms
(tanh (/ x y))
213.0ms
(- (tanh (/ t y)) (tanh (/ x y)))
242.0ms
(fma y (* z (- (tanh (/ t y)) (tanh (/ x y)))) x)
206.0ms
(* z (- (tanh (/ t y)) (tanh (/ x y))))

simplify66.0ms

Algorithm
egg-herbie
Counts
126 → 126
Iterations

Useful iterations: 2 (51.0ms)

IterNodesCost
05601798
122571400
250011397

prune359.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.2b

localize18.0ms

Local error

Found 4 expressions with local error:

1.1b
(* z (+ (- (* (* (cbrt (tanh (/ t y))) (cbrt (tanh (/ t y)))) (cbrt (tanh (/ t y)))) (tanh (/ x y))) (* (tanh (/ x y)) (+ (- 1) 1))))
9.2b
(cbrt (tanh (/ t y)))
9.2b
(cbrt (tanh (/ t y)))
9.2b
(cbrt (tanh (/ t y)))

rewrite1.2s

Algorithm
rewrite-expression-head
Rules
4761×cbrt-div
3819×frac-times
2980×associate-*r/
2853×tanh-def
2101×frac-add
2079×frac-sub
1464×associate-*l/
765×flip3-+ flip-+
11×add-sqr-sqrt flip3-- flip--
9×cbrt-prod add-cube-cbrt *-un-lft-identity
6×pow1 add-exp-log add-cbrt-cube
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×pow1/3 associate-*r* associate-*l*
1×distribute-rgt-in distribute-lft-in pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 2173
Calls
4 calls:
687.0ms
(* z (+ (- (* (* (cbrt (tanh (/ t y))) (cbrt (tanh (/ t y)))) (cbrt (tanh (/ t y)))) (tanh (/ x y))) (* (tanh (/ x y)) (+ (- 1) 1))))
1.0ms
(cbrt (tanh (/ t y)))
1.0ms
(cbrt (tanh (/ t y)))
2.0ms
(cbrt (tanh (/ t y)))

series722.0ms

Counts
4 → 12
Calls
4 calls:
214.0ms
(* z (+ (- (* (* (cbrt (tanh (/ t y))) (cbrt (tanh (/ t y)))) (cbrt (tanh (/ t y)))) (tanh (/ x y))) (* (tanh (/ x y)) (+ (- 1) 1))))
166.0ms
(cbrt (tanh (/ t y)))
169.0ms
(cbrt (tanh (/ t y)))
173.0ms
(cbrt (tanh (/ t y)))

simplify1.4s

Algorithm
egg-herbie
Counts
2185 → 2185
Iterations

Useful iterations: 0 (103.0ms)

IterNodesCost
08512178528

prune24.9s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.2b

localize15.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (fma y (* z (- (tanh (/ t y)) (tanh (/ x y)))) x))
1.1b
(* z (- (tanh (/ t y)) (tanh (/ x y))))
1.1b
(* z (- (tanh (/ t y)) (tanh (/ x y))))
1.1b
(* z (- (tanh (/ t y)) (tanh (/ x y))))

rewrite86.0ms

Algorithm
rewrite-expression-head
Rules
59×add-sqr-sqrt
54×prod-diff
53×*-un-lft-identity
47×add-cube-cbrt
33×distribute-rgt-in distribute-lft-in associate-*r/
27×frac-sub
18×tanh-def
15×associate-*r*
10×pow1 add-exp-log add-cbrt-cube
9×associate-*l*
6×sub-neg
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×cbrt-prod flip3-- pow-prod-down prod-exp *-commutative flip-- cbrt-unprod distribute-lft-out-- difference-of-squares unswap-sqr
1×pow1/3
Counts
4 → 178
Calls
4 calls:
0.0ms
(cbrt (fma y (* z (- (tanh (/ t y)) (tanh (/ x y)))) x))
26.0ms
(* z (- (tanh (/ t y)) (tanh (/ x y))))
23.0ms
(* z (- (tanh (/ t y)) (tanh (/ x y))))
28.0ms
(* z (- (tanh (/ t y)) (tanh (/ x y))))

series1.1s

Counts
4 → 12
Calls
4 calls:
375.0ms
(cbrt (fma y (* z (- (tanh (/ t y)) (tanh (/ x y)))) x))
205.0ms
(* z (- (tanh (/ t y)) (tanh (/ x y))))
252.0ms
(* z (- (tanh (/ t y)) (tanh (/ x y))))
273.0ms
(* z (- (tanh (/ t y)) (tanh (/ x y))))

simplify71.0ms

Algorithm
egg-herbie
Counts
190 → 190
Iterations

Useful iterations: 2 (43.0ms)

IterNodesCost
04872998
118722219
250012212

prune585.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.2b

localize11.0ms

Local error

Found 4 expressions with local error:

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

rewrite48.0ms

Algorithm
rewrite-expression-head
Rules
45×prod-diff
41×add-sqr-sqrt *-un-lft-identity
37×add-cube-cbrt
22×distribute-rgt-in associate-+r+ distribute-lft-in
18×frac-sub
13×tanh-def
11×associate-*r/
9×pow1 add-exp-log add-cbrt-cube
8×add-log-exp
5×sub-neg associate-*r*
4×expm1-log1p-u log1p-expm1-u
3×fma-def fma-neg 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 → 142
Calls
4 calls:
6.0ms
(+ x (* (* y z) (- (tanh (/ t y)) (tanh (/ x y)))))
1.0ms
(tanh (/ x y))
7.0ms
(- (tanh (/ t y)) (tanh (/ x y)))
28.0ms
(* (* y z) (- (tanh (/ t y)) (tanh (/ x y))))

series768.0ms

Counts
4 → 12
Calls
4 calls:
328.0ms
(+ x (* (* y z) (- (tanh (/ t y)) (tanh (/ x y)))))
76.0ms
(tanh (/ x y))
216.0ms
(- (tanh (/ t y)) (tanh (/ x y)))
148.0ms
(* (* y z) (- (tanh (/ t y)) (tanh (/ x y))))

simplify96.0ms

Algorithm
egg-herbie
Counts
154 → 154
Iterations

Useful iterations: 2 (73.0ms)

IterNodesCost
07712264
133311740
250021733

prune392.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0.2b

regimes132.0ms

Accuracy

0% (1.7b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02622
12622

end0.0ms

sample1.1s

Algorithm
intervals
Results
721.0ms8295×body80valid
30.0ms98×body640valid
21.0ms53×body1280valid
19.0ms69×body320valid
10.0ms45×body160valid