Details

Time bar (total: 18.9s)

sample190.0ms

Algorithm
intervals
Results
79.0ms1386×body80nan
27.0ms418×body80valid
3.0ms10×body640valid
3.0ms15×body320valid
3.0ms3×body1280valid
1.0ms9×body160valid

simplify2.5s

Counts
1 → 1
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
01718
13117
26217
311917
430617
5103717
6478517
done500017

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 2.0b

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (log z) t)
0.0b
(* (exp (fma y (- (log z) t) (* a (- (log (- 1.0 z)) b)))) x)
0.3b
(fma y (- (log z) t) (* a (- (log (- 1.0 z)) b)))
5.5b
(log (- 1.0 z))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
22×add-sqr-sqrt
21×*-un-lft-identity
16×add-cube-cbrt
12×pow1 prod-diff
8×log-prod
6×add-exp-log log-pow add-cbrt-cube
5×add-log-exp
4×expm1-log1p-u fma-neg associate-*l* log1p-expm1-u
3×associate-*r* associate--l+ distribute-lft-out--
2×log-div flip3-- flip-- fma-udef difference-of-squares
1×sub-neg diff-log rem-log-exp exp-sum pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 85
Calls
4 calls:
5.0ms
(- (log z) t)
6.0ms
(* (exp (fma y (- (log z) t) (* a (- (log (- 1.0 z)) b)))) x)
0.0ms
(fma y (- (log z) t) (* a (- (log (- 1.0 z)) b)))
3.0ms
(log (- 1.0 z))

series586.0ms

Counts
4 → 12
Calls
4 calls:
62.0ms
(- (log z) t)
296.0ms
(* (exp (fma y (- (log z) t) (* a (- (log (- 1.0 z)) b)))) x)
185.0ms
(fma y (- (log z) t) (* a (- (log (- 1.0 z)) b)))
42.0ms
(log (- 1.0 z))

simplify1.2s

Counts
97 → 97
Iterations

Useful iterations: 3 (607.0ms)

IterNodesCost
02071413
14541269
211381077
333851031
done50001031

prune349.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (log z) t)
0.0b
(* (exp (fma y (- (log z) t) (* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b)))) x)
0.0b
(* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b))
0.3b
(fma y (- (log z) t) (* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b)))

rewrite84.0ms

Algorithm
rewrite-expression-head
Rules
79×*-un-lft-identity
72×prod-diff
71×add-sqr-sqrt
51×add-cube-cbrt
43×associate--l+
37×distribute-rgt-in distribute-lft-in
26×pow1
19×distribute-lft-out--
18×log-pow
10×associate-*r*
9×log-prod
8×add-cbrt-cube difference-of-squares
7×add-exp-log associate-*l*
5×sub-neg add-log-exp
4×expm1-log1p-u fma-neg log1p-expm1-u
2×flip3-- associate-*r/ pow-prod-down prod-exp *-commutative flip-- cbrt-unprod fma-udef unswap-sqr
1×diff-log exp-sum
Counts
4 → 167
Calls
4 calls:
4.0ms
(- (log z) t)
6.0ms
(* (exp (fma y (- (log z) t) (* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b)))) x)
65.0ms
(* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b))
0.0ms
(fma y (- (log z) t) (* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b)))

series700.0ms

Counts
4 → 12
Calls
4 calls:
60.0ms
(- (log z) t)
299.0ms
(* (exp (fma y (- (log z) t) (* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b)))) x)
101.0ms
(* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b))
239.0ms
(fma y (- (log z) t) (* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b)))

simplify793.0ms

Counts
179 → 179
Iterations

Useful iterations: done (786.0ms)

IterNodesCost
03386726
16255249
215014262
done50003837

prune520.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize25.0ms

Local error

Found 4 expressions with local error:

0.0b
(* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b))
0.0b
(* (sqrt (exp (fma y (- (log z) t) (* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b))))) (* (sqrt (exp (fma y (- (log z) t) (* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b))))) x))
0.3b
(fma y (- (log z) t) (* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b)))
0.3b
(fma y (- (log z) t) (* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b)))

rewrite95.0ms

Algorithm
rewrite-expression-head
Rules
67×*-un-lft-identity
60×prod-diff
58×add-sqr-sqrt
42×add-cube-cbrt
40×associate--l+
37×distribute-rgt-in distribute-lft-in
24×pow1
17×distribute-lft-out--
13×log-pow
11×add-exp-log add-cbrt-cube
10×associate-*l*
8×associate-*r*
7×difference-of-squares
6×log-prod
4×expm1-log1p-u sub-neg pow-prod-down prod-exp sqrt-prod cbrt-unprod log1p-expm1-u add-log-exp
3×fma-udef
2×associate-*r/ *-commutative
1×flip3-- exp-sum flip-- unswap-sqr
Counts
4 → 144
Calls
4 calls:
65.0ms
(* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b))
21.0ms
(* (sqrt (exp (fma y (- (log z) t) (* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b))))) (* (sqrt (exp (fma y (- (log z) t) (* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b))))) x))
0.0ms
(fma y (- (log z) t) (* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b)))
0.0ms
(fma y (- (log z) t) (* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b)))

series884.0ms

Counts
4 → 12
Calls
4 calls:
103.0ms
(* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b))
301.0ms
(* (sqrt (exp (fma y (- (log z) t) (* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b))))) (* (sqrt (exp (fma y (- (log z) t) (* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b))))) x))
238.0ms
(fma y (- (log z) t) (* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b)))
241.0ms
(fma y (- (log z) t) (* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b)))

simplify1.7s

Counts
156 → 156
Iterations

Useful iterations: 3 (757.0ms)

IterNodesCost
02797614
15285578
213444499
346593981
done50003981

prune626.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (fma 1.0 z b))) a (* (- (log z) t) y))
0.0b
(- (log z) t)
0.0b
(* (exp (fma (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (fma 1.0 z b))) a (* (- (log z) t) y))) x)
0.2b
(* (- (log z) t) y)

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
25×add-sqr-sqrt
23×*-un-lft-identity
17×add-cube-cbrt
14×pow1
12×prod-diff
10×associate-*l*
8×add-cbrt-cube
7×add-exp-log
6×associate-*r* log-pow
5×add-log-exp
4×expm1-log1p-u fma-neg log1p-expm1-u distribute-lft-out--
3×log-prod associate--l+
2×flip3-- pow-prod-down associate-*l/ prod-exp *-commutative flip-- cbrt-unprod fma-udef difference-of-squares unswap-sqr
1×sub-neg diff-log exp-sum
Counts
4 → 92
Calls
4 calls:
0.0ms
(fma (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (fma 1.0 z b))) a (* (- (log z) t) y))
4.0ms
(- (log z) t)
6.0ms
(* (exp (fma (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (fma 1.0 z b))) a (* (- (log z) t) y))) x)
13.0ms
(* (- (log z) t) y)

series641.0ms

Counts
4 → 12
Calls
4 calls:
218.0ms
(fma (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (fma 1.0 z b))) a (* (- (log z) t) y))
61.0ms
(- (log z) t)
280.0ms
(* (exp (fma (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (fma 1.0 z b))) a (* (- (log z) t) y))) x)
82.0ms
(* (- (log z) t) y)

simplify1.8s

Counts
104 → 104
Iterations

Useful iterations: 3 (828.0ms)

IterNodesCost
01871854
14121716
211101456
341941403
done50001403

prune471.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

regimes252.0ms

Accuracy

0% (0.2b remaining)

Error of 0.3b against oracle of 0.1b and baseline of 0.3b

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02530
13030
done3030

end0.0ms

sample5.3s

Algorithm
intervals
Results
2.2s41374×body80nan
784.0ms12678×body80valid
130.0ms363×body640valid
84.0ms393×body320valid
53.0ms74×body1280valid
37.0ms285×body160valid