Details

Time bar (total: 14.5s)

sample36.0ms

Algorithm
intervals
Results
14.0ms269×body80valid
1.0ms4×body640valid
1.0ms2×body1280valid
0.0ms1×body320valid

simplify2.6s

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

prune19.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 4.8b

localize33.0ms

Local error

Found 4 expressions with local error:

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

rewrite39.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:
28.0ms
(- (tanh (/ t y)) (tanh (/ x y)))
3.0ms
(tanh (/ t y))
3.0ms
(tanh (/ x y))
1.0ms
(fma (* y z) (- (tanh (/ t y)) (tanh (/ x y))) x)

series985.0ms

Counts
4 → 12
Calls
4 calls:
360.0ms
(- (tanh (/ t y)) (tanh (/ x y)))
129.0ms
(tanh (/ t y))
123.0ms
(tanh (/ x y))
372.0ms
(fma (* y z) (- (tanh (/ t y)) (tanh (/ x y))) x)

simplify1.0s

Counts
83 → 83
Iterations
IterNodes
done5001
21735
1450
0161

prune600.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 1.2b

localize31.0ms

Local error

Found 4 expressions with local error:

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

rewrite171.0ms

Algorithm
rewrite-expression-head
Rules
55×distribute-rgt-in distribute-lft-in
54×prod-diff
47×add-sqr-sqrt
45×*-un-lft-identity
43×add-cube-cbrt
33×associate-*r/
18×frac-sub
14×tanh-def
11×pow1 add-cbrt-cube add-exp-log
6×sub-neg associate-*r* associate-*l*
4×expm1-log1p-u pow-prod-down prod-exp cbrt-unprod log1p-expm1-u add-log-exp
2×flip3-- *-commutative flip--
1×distribute-lft-out-- difference-of-squares unswap-sqr
Counts
4 → 154
Calls
4 calls:
2.0ms
(tanh (/ t y))
2.0ms
(tanh (/ x y))
112.0ms
(* z (* y (- (tanh (/ t y)) (tanh (/ x y)))))
50.0ms
(* y (- (tanh (/ t y)) (tanh (/ x y))))

series797.0ms

Counts
4 → 12
Calls
4 calls:
134.0ms
(tanh (/ t y))
124.0ms
(tanh (/ x y))
335.0ms
(* z (* y (- (tanh (/ t y)) (tanh (/ x y)))))
204.0ms
(* y (- (tanh (/ t y)) (tanh (/ x y))))

simplify1.4s

Counts
166 → 166
Iterations
IterNodes
done5001
23421
1764
0280

prune777.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize25.0ms

Local error

Found 4 expressions with local error:

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

rewrite62.0ms

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

series1.1s

Counts
4 → 12
Calls
4 calls:
330.0ms
(cbrt z)
259.0ms
(cbrt z)
269.0ms
(cbrt z)
240.0ms
(* y (- (tanh (/ t y)) (tanh (/ x y))))

simplify1.1s

Counts
106 → 106
Iterations
IterNodes
done5001
21914
1481
0195

prune629.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize13.0ms

Local error

Found 2 expressions with local error:

0.0b
(* z (- t x))
0.0b
(+ (* z (- t x)) x)

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
36×prod-diff
32×add-sqr-sqrt
30×*-un-lft-identity
28×add-cube-cbrt
22×distribute-rgt-in associate-+l+ distribute-lft-in
5×associate-*r*
4×pow1 sub-neg add-cbrt-cube add-exp-log add-log-exp
3×associate-*l*
2×expm1-log1p-u associate-*r/ log1p-expm1-u
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
2 → 82
Calls
2 calls:
29.0ms
(* z (- t x))
32.0ms
(+ (* z (- t x)) x)

series90.0ms

Counts
2 → 6
Calls
2 calls:
55.0ms
(* z (- t x))
35.0ms
(+ (* z (- t x)) x)

simplify783.0ms

Counts
88 → 88
Iterations
IterNodes
done5000
21151
1325
0131

prune428.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes308.0ms

Accuracy

0% (1.9b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done19
119
015

end0.0ms

sample1.4s

Algorithm
intervals
Results
757.0ms8258×body80valid
72.0ms114×body640valid
18.0ms42×body1280valid
13.0ms61×body320valid
7.0ms46×body160valid