Details

Time bar (total: 2.5min)

sample33.0ms

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

simplify28.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (26.0ms)

IterNodesCost
0505915

prune17.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.6b

Counts
2 → 2

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ x (* y (* z (- (tanh (/ t y)) (tanh (/ x y))))))
0.1b
(- (tanh (/ t y)) (tanh (/ x y)))
0.5b
(* z (- (tanh (/ t y)) (tanh (/ x y))))
2.0b
(* y (* z (- (tanh (/ t y)) (tanh (/ x y)))))

rewrite38.0ms

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

series353.0ms

Counts
4 → 12
Calls
4 calls:
116.0ms
(+ x (* y (* z (- (tanh (/ t y)) (tanh (/ x y))))))
77.0ms
(- (tanh (/ t y)) (tanh (/ x y)))
90.0ms
(* z (- (tanh (/ t y)) (tanh (/ x y))))
70.0ms
(* y (* z (- (tanh (/ t y)) (tanh (/ x y)))))

simplify51.0ms

Algorithm
egg-herbie
Counts
126 → 126
Iterations

Useful iterations: 0 (37.0ms)

IterNodesCost
050132592

prune197.0ms

Filtered
89 candidates to 126 candidates (-41.6%)
Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New1197126
Fresh011
Picked011
Done000
Total1199128

Merged error: 0.9b

Counts
128 → 9

localize17.0ms

Local error

Found 4 expressions with local error:

2.0b
(* y (* (* z (* (cbrt (- (tanh (/ t y)) (tanh (/ x y)))) (cbrt (- (tanh (/ t y)) (tanh (/ x y)))))) (cbrt (- (tanh (/ t y)) (tanh (/ x y))))))
2.6b
(cbrt (- (tanh (/ t y)) (tanh (/ x y))))
2.6b
(cbrt (- (tanh (/ t y)) (tanh (/ x y))))
2.6b
(cbrt (- (tanh (/ t y)) (tanh (/ x y))))

rewrite697.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:
203.0ms
(* y (* (* z (* (cbrt (- (tanh (/ t y)) (tanh (/ x y)))) (cbrt (- (tanh (/ t y)) (tanh (/ x y)))))) (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))))
7.0ms
(cbrt (- (tanh (/ t y)) (tanh (/ x y))))

series517.0ms

Counts
4 → 12
Calls
4 calls:
67.0ms
(* y (* (* z (* (cbrt (- (tanh (/ t y)) (tanh (/ x y)))) (cbrt (- (tanh (/ t y)) (tanh (/ x y)))))) (cbrt (- (tanh (/ t y)) (tanh (/ x y))))))
151.0ms
(cbrt (- (tanh (/ t y)) (tanh (/ x y))))
150.0ms
(cbrt (- (tanh (/ t y)) (tanh (/ x y))))
149.0ms
(cbrt (- (tanh (/ t y)) (tanh (/ x y))))

simplify762.0ms

Algorithm
egg-herbie
Counts
1835 → 1835
Iterations

Useful iterations: 0 (84.0ms)

IterNodesCost
06234183573

prune42.8s

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

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New183231835
Fresh167
Picked101
Done011
Total1834101844

Merged error: 0.8b

Counts
1844 → 10

localize15.0ms

Local error

Found 4 expressions with local error:

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

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
27×pow1 add-exp-log
22×associate-*r/ associate-*l/
18×frac-sub add-cbrt-cube
16×pow-prod-down prod-exp cbrt-unprod
15×add-sqr-sqrt
12×tanh-def
11×*-un-lft-identity
10×cbrt-prod
9×add-cube-cbrt
7×associate-*r*
6×associate-*l*
4×add-log-exp
2×flip3-- pow1/3 *-commutative flip-- unswap-sqr
1×distribute-lft-out-- difference-of-squares
Counts
4 → 96
Calls
4 calls:
1.0ms
(cbrt y)
1.0ms
(cbrt y)
12.0ms
(* (- (tanh (/ t y)) (tanh (/ x y))) (cbrt y))
18.0ms
(* (* (cbrt y) (cbrt y)) (* z (* (- (tanh (/ t y)) (tanh (/ x y))) (cbrt y))))

series241.0ms

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

simplify56.0ms

Algorithm
egg-herbie
Counts
108 → 108
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
049891739
149891739

prune185.0ms

Filtered
76 candidates to 108 candidates (-42.1%)
Pruning

12 alts after pruning (10 fresh and 2 done)

PrunedKeptTotal
New1062108
Fresh088
Picked011
Done011
Total10612118

Merged error: 0.7b

Counts
118 → 12

localize29.0ms

Local error

Found 4 expressions with local error:

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

rewrite2.5s

Algorithm
rewrite-expression-head
Rules
19448×cbrt-div
11673×frac-sub
10758×associate-*r/
9075×frac-times
7782×tanh-def
1297×flip3-- flip--
825×associate-*l/
8×cbrt-prod
7×add-sqr-sqrt *-un-lft-identity
5×add-cube-cbrt
4×pow1 add-exp-log pow1/3 add-cbrt-cube add-log-exp
1×distribute-lft-out-- difference-of-squares
Counts
4 → 5232
Calls
4 calls:
7.0ms
(cbrt (- (tanh (/ t y)) (tanh (/ x y))))
248.0ms
(cbrt (* y (* (* z (* (cbrt (- (tanh (/ t y)) (tanh (/ x y)))) (cbrt (- (tanh (/ t y)) (tanh (/ x y)))))) (cbrt (- (tanh (/ t y)) (tanh (/ x y)))))))
248.0ms
(cbrt (* y (* (* z (* (cbrt (- (tanh (/ t y)) (tanh (/ x y)))) (cbrt (- (tanh (/ t y)) (tanh (/ x y)))))) (cbrt (- (tanh (/ t y)) (tanh (/ x y)))))))
246.0ms
(cbrt (* y (* (* z (* (cbrt (- (tanh (/ t y)) (tanh (/ x y)))) (cbrt (- (tanh (/ t y)) (tanh (/ x y)))))) (cbrt (- (tanh (/ t y)) (tanh (/ x y)))))))

series615.0ms

Counts
4 → 12
Calls
4 calls:
146.0ms
(cbrt (- (tanh (/ t y)) (tanh (/ x y))))
154.0ms
(cbrt (* y (* (* z (* (cbrt (- (tanh (/ t y)) (tanh (/ x y)))) (cbrt (- (tanh (/ t y)) (tanh (/ x y)))))) (cbrt (- (tanh (/ t y)) (tanh (/ x y)))))))
153.0ms
(cbrt (* y (* (* z (* (cbrt (- (tanh (/ t y)) (tanh (/ x y)))) (cbrt (- (tanh (/ t y)) (tanh (/ x y)))))) (cbrt (- (tanh (/ t y)) (tanh (/ x y)))))))
162.0ms
(cbrt (* y (* (* z (* (cbrt (- (tanh (/ t y)) (tanh (/ x y)))) (cbrt (- (tanh (/ t y)) (tanh (/ x y)))))) (cbrt (- (tanh (/ t y)) (tanh (/ x y)))))))

simplify3.4s

Algorithm
egg-herbie
Counts
5244 → 5244
Iterations

Useful iterations: 0 (159.0ms)

IterNodesCost
08588838147

prune1.6min

Filtered
5243 candidates to 5244 candidates (-0.0%)

Profiling

Loading profile data...