Details

Time bar (total: 32.4s)

sample261.0ms

Algorithm
intervals
Results
172.0ms1580×body80nan
27.0ms257×body80valid

simplify2.8s

Counts
1 → 1

prune45.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize66.0ms

Local error

Found 3 expressions with local error:

0.3b
(- (log (+ y x)) (- t (log z)))
0.1b
(fma (log t) (- a 0.5) (- (log (+ y x)) (- t (log z))))
0.0b
(- t (log z))

rewrite45.0ms

Algorithm
rewrite-expression-head
Rules
59×*-un-lft-identity
48×prod-diff
43×add-sqr-sqrt
31×add-cube-cbrt
26×pow1
23×log-pow
20×distribute-lft-out--
17×associate--r+
7×log-prod fma-neg
6×add-log-exp difference-of-squares
4×diff-log associate--l+
3×expm1-log1p-u sub-neg add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u
2×associate--l- log-div flip3-- flip--
1×flip3-+ flip-+ fma-udef distribute-lft-out associate--r-
Counts
3 → 119
Calls
3 calls:
Slowest
33.0ms
(- (log (+ y x)) (- t (log z)))
10.0ms
(- t (log z))
0.0ms
(fma (log t) (- a 0.5) (- (log (+ y x)) (- t (log z))))

series293.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
132.0ms
(- (log (+ y x)) (- t (log z)))
130.0ms
(fma (log t) (- a 0.5) (- (log (+ y x)) (- t (log z))))
32.0ms
(- t (log z))

simplify1.9s

Counts
128 → 128

prune2.5s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.1b

localize44.0ms

Local error

Found 4 expressions with local error:

0.3b
(- (log (+ y x)) (- t (log z)))
0.1b
(* (log t) (- a 0.5))
0.1b
(+ (* (log t) (- a 0.5)) (- (log (+ y x)) (- t (log z))))
0.0b
(- t (log z))

rewrite162.0ms

Algorithm
rewrite-expression-head
Rules
113×*-un-lft-identity
108×prod-diff
93×add-sqr-sqrt
69×add-cube-cbrt
40×pow1
34×log-pow
31×associate-+r+
29×distribute-lft-out--
22×distribute-rgt-in associate-+l+ distribute-lft-in
17×associate--r+
13×add-log-exp
11×log-prod difference-of-squares
8×sub-neg associate--l+
7×flip3-- fma-neg diff-log flip--
6×add-cbrt-cube associate-*r/ add-exp-log
5×associate-*r*
4×expm1-log1p-u associate-*l* frac-add insert-posit16 log1p-expm1-u
3×sum-log
2×associate--l- log-div flip3-+ flip-+ distribute-lft-out associate--r-
1×+-commutative associate-+r- fma-def pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 231
Calls
4 calls:
Slowest
82.0ms
(+ (* (log t) (- a 0.5)) (- (log (+ y x)) (- t (log z))))
35.0ms
(- (log (+ y x)) (- t (log z)))
28.0ms
(* (log t) (- a 0.5))
10.0ms
(- t (log z))

series530.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
174.0ms
(* (log t) (- a 0.5))
165.0ms
(+ (* (log t) (- a 0.5)) (- (log (+ y x)) (- t (log z))))
155.0ms
(- (log (+ y x)) (- t (log z)))
36.0ms
(- t (log z))

simplify1.3s

Counts
243 → 243

prune4.9s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.0b

localize92.0ms

Local error

Found 4 expressions with local error:

0.3b
(+ (log (sqrt (+ y x))) (- (log (sqrt (+ y x))) (- t (log z))))
0.3b
(- (log (sqrt (+ y x))) (- t (log z)))
0.1b
(* (log t) (- a 0.5))
0.1b
(+ (* (log t) (- a 0.5)) (+ (log (sqrt (+ y x))) (- (log (sqrt (+ y x))) (- t (log z)))))

rewrite390.0ms

Algorithm
rewrite-expression-head
Rules
155×*-un-lft-identity
120×prod-diff
99×add-sqr-sqrt
80×log-pow
72×pow1
69×add-cube-cbrt
55×distribute-lft-out--
47×associate-+r+
29×associate-+l+
22×distribute-rgt-in distribute-lft-in
21×log-prod
17×distribute-lft-out add-log-exp
14×sqrt-pow1 pow1/2 associate--l+ associate--r+ difference-of-squares
12×sqrt-prod
10×sum-log
9×diff-log
7×sub-neg fma-def flip3-+ flip-+
6×log-div add-cbrt-cube fma-neg sqrt-div associate-*r/ add-exp-log
5×associate-+r- associate-*r*
4×expm1-log1p-u flip3-- associate-*l* frac-add associate-+l- insert-posit16 log1p-expm1-u flip--
2×associate--l- +-commutative associate--r-
1×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 277
Calls
4 calls:
Slowest
236.0ms
(+ (* (log t) (- a 0.5)) (+ (log (sqrt (+ y x))) (- (log (sqrt (+ y x))) (- t (log z)))))
69.0ms
(+ (log (sqrt (+ y x))) (- (log (sqrt (+ y x))) (- t (log z))))
43.0ms
(- (log (sqrt (+ y x))) (- t (log z)))
32.0ms
(* (log t) (- a 0.5))

series751.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
224.0ms
(+ (* (log t) (- a 0.5)) (+ (log (sqrt (+ y x))) (- (log (sqrt (+ y x))) (- t (log z)))))
203.0ms
(- (log (sqrt (+ y x))) (- t (log z)))
200.0ms
(+ (log (sqrt (+ y x))) (- (log (sqrt (+ y x))) (- t (log z))))
124.0ms
(* (log t) (- a 0.5))

simplify1.8s

Counts
289 → 289

prune5.9s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.0b

localize91.0ms

Local error

Found 4 expressions with local error:

62.3b
(fma (- (cbrt (- t (log z)))) (* (cbrt (- t (log z))) (cbrt (- t (log z)))) (* (cbrt (- t (log z))) (* (cbrt (- t (log z))) (cbrt (- t (log z))))))
0.5b
(* (cbrt (log (+ y x))) (cbrt (log (+ y x))))
0.5b
(cbrt (- t (log z)))
0.5b
(cbrt (- t (log z)))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
36×cbrt-prod
26×add-sqr-sqrt
22×*-un-lft-identity
19×pow1
14×add-cube-cbrt
9×swap-sqr
8×pow1/3 log-pow
7×associate-*r* associate-*l*
6×add-exp-log
4×expm1-log1p-u cbrt-div add-cbrt-cube insert-posit16 log1p-expm1-u distribute-lft-out-- add-log-exp unswap-sqr
2×flip3-- pow-prod-down pow-sqr pow-prod-up flip-- difference-of-squares
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod fma-udef
Counts
4 → 97
Calls
4 calls:
Slowest
16.0ms
(* (cbrt (log (+ y x))) (cbrt (log (+ y x))))
3.0ms
(cbrt (- t (log z)))
3.0ms
(cbrt (- t (log z)))
0.0ms
(fma (- (cbrt (- t (log z)))) (* (cbrt (- t (log z))) (cbrt (- t (log z)))) (* (cbrt (- t (log z))) (* (cbrt (- t (log z))) (cbrt (- t (log z))))))

series2.1s

Counts
4 → 12
Calls
4 calls:
Slowest
1.7s
(* (cbrt (log (+ y x))) (cbrt (log (+ y x))))
208.0ms
(fma (- (cbrt (- t (log z)))) (* (cbrt (- t (log z))) (cbrt (- t (log z)))) (* (cbrt (- t (log z))) (* (cbrt (- t (log z))) (cbrt (- t (log z))))))
99.0ms
(cbrt (- t (log z)))
96.0ms
(cbrt (- t (log z)))

simplify2.1s

Counts
109 → 109

prune2.9s

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 0.0b

regimes1.3s

bsearch5.0ms

end0.0ms