Details

Time bar (total: 15.3s)

sample51.0ms

Algorithm
intervals
Results
22.0ms270×body80valid
1.0ms2×body640valid
0.0ms1×body320valid

simplify1.7s

Counts
1 → 1
Iterations
IterNodes
done5000
54826
41010
3334
2147
154
012

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 4.8b

localize24.0ms

Local error

Found 4 expressions with local error:

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

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
13×add-sqr-sqrt *-un-lft-identity
11×add-cube-cbrt
9×prod-diff frac-sub
8×tanh-def
6×add-log-exp
4×expm1-log1p-u pow1 add-cbrt-cube add-exp-log log1p-expm1-u
3×fma-neg
1×sub-neg flip3-- diff-log fma-udef flip-- distribute-lft-out-- difference-of-squares
Counts
4 → 71
Calls
4 calls:
12.0ms
(- (tanh (/ t y)) (tanh (/ x y)))
2.0ms
(tanh (/ x y))
2.0ms
(tanh (/ t y))
0.0ms
(fma (* y z) (- (tanh (/ t y)) (tanh (/ x y))) x)

series872.0ms

Counts
4 → 12
Calls
4 calls:
346.0ms
(- (tanh (/ t y)) (tanh (/ x y)))
100.0ms
(tanh (/ x y))
100.0ms
(tanh (/ t y))
326.0ms
(fma (* y z) (- (tanh (/ t y)) (tanh (/ x y))) x)

simplify828.0ms

Counts
83 → 83
Iterations
IterNodes
done5001
21735
1450
0161

prune637.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.5b

localize49.0ms

Local error

Found 4 expressions with local error:

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

rewrite159.0ms

Algorithm
rewrite-expression-head
Rules
55×distribute-rgt-in distribute-lft-in
54×prod-diff
46×add-sqr-sqrt
44×associate-+l+ *-un-lft-identity
42×add-cube-cbrt
11×associate-*r/
9×frac-sub
8×tanh-def
6×pow1 sub-neg add-cbrt-cube add-exp-log add-log-exp
5×associate-*r*
4×expm1-log1p-u log1p-expm1-u
3×associate-*l*
1×+-commutative sum-log fma-def flip3-+ flip3-- pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ flip-- distribute-lft-out-- difference-of-squares unswap-sqr
Counts
4 → 137
Calls
4 calls:
3.0ms
(tanh (/ x y))
3.0ms
(tanh (/ t y))
84.0ms
(+ (* z (* y (- (tanh (/ t y)) (tanh (/ x y))))) x)
59.0ms
(* y (- (tanh (/ t y)) (tanh (/ x y))))

series1.0s

Counts
4 → 12
Calls
4 calls:
130.0ms
(tanh (/ x y))
129.0ms
(tanh (/ t y))
526.0ms
(+ (* z (* y (- (tanh (/ t y)) (tanh (/ x y))))) x)
262.0ms
(* y (- (tanh (/ t y)) (tanh (/ x y))))

simplify1.2s

Counts
149 → 149
Iterations
IterNodes
done5001
22764
1661
0248

prune1.2s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize26.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (tanh (/ t y)) (tanh (/ x y)))
0.0b
(tanh (/ x y))
0.0b
(tanh (/ t y))
1.9b
(* y (- (tanh (/ t y)) (tanh (/ x y))))

rewrite57.0ms

Algorithm
rewrite-expression-head
Rules
31×add-sqr-sqrt
29×*-un-lft-identity
27×prod-diff
25×add-cube-cbrt
18×frac-sub
14×tanh-def
11×distribute-rgt-in distribute-lft-in associate-*r/
6×pow1 add-cbrt-cube add-exp-log 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 unswap-sqr
Counts
4 → 116
Calls
4 calls:
11.0ms
(- (tanh (/ t y)) (tanh (/ x y)))
1.0ms
(tanh (/ x y))
2.0ms
(tanh (/ t y))
39.0ms
(* y (- (tanh (/ t y)) (tanh (/ x y))))

series917.0ms

Counts
4 → 12
Calls
4 calls:
395.0ms
(- (tanh (/ t y)) (tanh (/ x y)))
125.0ms
(tanh (/ x y))
137.0ms
(tanh (/ t y))
260.0ms
(* y (- (tanh (/ t y)) (tanh (/ x y))))

simplify1.4s

Counts
128 → 128
Iterations
IterNodes
done5000
22418
1570
0210

prune792.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize52.0ms

Local error

Found 4 expressions with local error:

0.0b
(tanh (/ t y))
0.3b
(+ (* (* (tanh (/ t y)) y) z) (fma (* (- (tanh (/ x y))) y) z x))
6.8b
(* (tanh (/ t y)) y)
7.0b
(* (- (tanh (/ x y))) y)

rewrite72.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt
13×associate-*l*
10×*-un-lft-identity add-cube-cbrt
8×pow1 add-cbrt-cube add-exp-log
6×associate-*r* associate-*l/ add-log-exp
4×expm1-log1p-u log1p-expm1-u
3×distribute-lft-neg-in distribute-rgt-neg-in distribute-neg-frac tanh-def
2×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
1×distribute-lft-neg-out +-commutative associate-+r+ neg-mul-1 sum-log fma-def flip3-+ flip-+ fma-udef
Counts
4 → 81
Calls
4 calls:
2.0ms
(tanh (/ t y))
26.0ms
(+ (* (* (tanh (/ t y)) y) z) (fma (* (- (tanh (/ x y))) y) z x))
18.0ms
(* (tanh (/ t y)) y)
25.0ms
(* (- (tanh (/ x y))) y)

series775.0ms

Counts
4 → 12
Calls
4 calls:
155.0ms
(tanh (/ t y))
327.0ms
(+ (* (* (tanh (/ t y)) y) z) (fma (* (- (tanh (/ x y))) y) z x))
150.0ms
(* (tanh (/ t y)) y)
143.0ms
(* (- (tanh (/ x y))) y)

simplify997.0ms

Counts
93 → 93
Iterations
IterNodes
done5001
21814
1401
0158

prune687.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

regimes272.0ms

Accuracy

0% (1.6b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
done12
112
011

end0.0ms

sample1.4s

Algorithm
intervals
Results
809.0ms8312×body80valid
25.0ms82×body640valid
17.0ms44×body1280valid
12.0ms56×body320valid
4.0ms23×body160valid