Details

Time bar (total: 18.2s)

sample39.0ms

Algorithm
intervals
Results
16.0ms253×body80valid
1.0ms5×body320valid
1.0ms3×body640valid
0.0ms3×body160valid
0.0ms2×body1280valid

simplify3.5s

Counts
1 → 1
Iterations

Useful iterations: 2 (34.0ms)

IterNodesCost
01215
15415
214714
333414
499614
5330514
done500014

prune8.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 2.7b

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b
(tanh (/ t y))
0.3b
(- (tanh (/ t y)) (tanh (/ x y)))
1.3b
(* z (- (tanh (/ t y)) (tanh (/ x y))))
2.4b
(fma y (* z (- (tanh (/ t y)) (tanh (/ x y)))) x)

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

series1.3s

Counts
4 → 12
Calls
4 calls:
144.0ms
(tanh (/ t y))
360.0ms
(- (tanh (/ t y)) (tanh (/ x y)))
381.0ms
(* z (- (tanh (/ t y)) (tanh (/ x y))))
409.0ms
(fma y (* z (- (tanh (/ t y)) (tanh (/ x y)))) x)

simplify1.3s

Counts
126 → 126
Iterations

Useful iterations: done (1.3s)

IterNodesCost
02173259
15472726
217602366
done50012137

prune603.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 1.4b

localize33.0ms

Local error

Found 4 expressions with local error:

0.3b
(+ (* z (tanh (/ t y))) (* z (- (tanh (/ x y)))))
1.8b
(* z (- (tanh (/ x y))))
2.2b
(* z (tanh (/ t y)))
2.4b
(fma y (+ (* z (tanh (/ t y))) (* z (- (tanh (/ x y))))) x)

rewrite99.0ms

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

series1.1s

Counts
4 → 12
Calls
4 calls:
330.0ms
(+ (* z (tanh (/ t y))) (* z (- (tanh (/ x y)))))
144.0ms
(* z (- (tanh (/ x y))))
125.0ms
(* z (tanh (/ t y)))
455.0ms
(fma y (+ (* z (tanh (/ t y))) (* z (- (tanh (/ x y))))) x)

simplify1.3s

Counts
102 → 102
Iterations

Useful iterations: done (1.3s)

IterNodesCost
01881644
15711482
220121405
done50001400

prune431.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 1.4b

localize50.0ms

Local error

Found 4 expressions with local error:

1.3b
(* z (- (tanh (/ t y)) (tanh (/ x y))))
2.4b
(fma y (* z (- (tanh (/ t y)) (tanh (/ x y)))) x)
2.4b
(fma y (* z (- (tanh (/ t y)) (tanh (/ x y)))) x)
2.4b
(fma y (* z (- (tanh (/ t y)) (tanh (/ x y)))) x)

rewrite114.0ms

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

series1.6s

Counts
4 → 12
Calls
4 calls:
307.0ms
(* z (- (tanh (/ t y)) (tanh (/ x y))))
389.0ms
(fma y (* z (- (tanh (/ t y)) (tanh (/ x y)))) x)
386.0ms
(fma y (* z (- (tanh (/ t y)) (tanh (/ x y)))) x)
472.0ms
(fma y (* z (- (tanh (/ t y)) (tanh (/ x y)))) x)

simplify821.0ms

Counts
97 → 97
Iterations

Useful iterations: done (817.0ms)

IterNodesCost
01852310
14331969
213521661
done50011511

prune579.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 1.4b

localize58.0ms

Local error

Found 4 expressions with local error:

1.3b
(* z (- (tanh (/ t y)) (tanh (/ x y))))
2.4b
(fma y (* z (- (tanh (/ t y)) (tanh (/ x y)))) x)
2.4b
(fma y (* z (- (tanh (/ t y)) (tanh (/ x y)))) x)
2.4b
(fma y (* (* (cbrt z) (cbrt z)) (* (cbrt z) (- (tanh (/ t y)) (tanh (/ x y))))) x)

rewrite73.0ms

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

series1.6s

Counts
4 → 12
Calls
4 calls:
326.0ms
(* z (- (tanh (/ t y)) (tanh (/ x y))))
379.0ms
(fma y (* z (- (tanh (/ t y)) (tanh (/ x y)))) x)
417.0ms
(fma y (* z (- (tanh (/ t y)) (tanh (/ x y)))) x)
430.0ms
(fma y (* (* (cbrt z) (cbrt z)) (* (cbrt z) (- (tanh (/ t y)) (tanh (/ x y))))) x)

simplify1.1s

Counts
97 → 97
Iterations

Useful iterations: done (1.0s)

IterNodesCost
01982401
14562060
214261738
done50001544

prune629.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 1.4b

regimes397.0ms

Accuracy

32.2% (1.0b remaining)

Error of 1.4b against oracle of 0.4b and baseline of 1.9b

bsearch5.0ms

simplify14.0ms

Iterations

Useful iterations: 1 (4.0ms)

IterNodesCost
02385
13469
23869
33969
done3969

end0.0ms

sample1.5s

Algorithm
intervals
Results
891.0ms8283×body80valid
26.0ms88×body640valid
18.0ms50×body1280valid
17.0ms78×body320valid
7.0ms45×body160valid