Details

Time bar (total: 26.0s)

sample378.0ms

Algorithm
intervals
Results
149.0ms1305×body80nan
61.0ms400×body80valid
10.0ms15×body640valid
4.0ms11×body320valid
3.0ms11×body160valid
1.0ms2×body1280valid

simplify1.5s

Counts
1 → 1
Iterations

Useful iterations: 1 (4.0ms)

IterNodesCost
01718
13117
26217
313517
433517
5109117
done500017

prune16.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.8b

localize35.0ms

Local error

Found 4 expressions with local error:

0.0b
(* a (- (log (- 1.0 z)) b))
0.0b
(exp (fma y (- (log z) t) (* a (- (log (- 1.0 z)) b))))
0.1b
(fma y (- (log z) t) (* a (- (log (- 1.0 z)) b)))
4.8b
(log (- 1.0 z))

rewrite96.0ms

Algorithm
rewrite-expression-head
Rules
34×add-sqr-sqrt
33×*-un-lft-identity
24×add-cube-cbrt prod-diff
19×distribute-rgt-in distribute-lft-in
15×log-prod
14×pow1
10×associate--l+
8×log-pow
7×add-exp-log
6×associate-*r* add-cbrt-cube
5×distribute-lft-out-- add-log-exp
4×expm1-log1p-u log1p-expm1-u difference-of-squares
3×exp-prod associate-*l*
2×sub-neg log-div flip3-- associate-*r/ flip-- fma-udef
1×rem-log-exp exp-sum pow-prod-down prod-exp *-commutative cbrt-unprod rem-exp-log unswap-sqr
Counts
4 → 105
Calls
4 calls:
74.0ms
(* a (- (log (- 1.0 z)) b))
4.0ms
(exp (fma y (- (log z) t) (* a (- (log (- 1.0 z)) b))))
1.0ms
(fma y (- (log z) t) (* a (- (log (- 1.0 z)) b)))
12.0ms
(log (- 1.0 z))

series627.0ms

Counts
4 → 12
Calls
4 calls:
84.0ms
(* a (- (log (- 1.0 z)) b))
206.0ms
(exp (fma y (- (log z) t) (* a (- (log (- 1.0 z)) b))))
288.0ms
(fma y (- (log z) t) (* a (- (log (- 1.0 z)) b)))
48.0ms
(log (- 1.0 z))

simplify2.5s

Counts
117 → 117
Iterations

Useful iterations: done (2.5s)

IterNodesCost
02472045
15241768
212341510
337041415
done50001412

prune547.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize26.0ms

Local error

Found 4 expressions with local error:

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
(exp (fma y (- (log z) t) (* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b))))
0.0b
(* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b))
0.1b
(fma y (- (log z) t) (* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b)))

rewrite166.0ms

Algorithm
rewrite-expression-head
Rules
68×*-un-lft-identity
61×add-sqr-sqrt
60×prod-diff
43×add-cube-cbrt
40×associate--l+
37×distribute-rgt-in distribute-lft-in
21×pow1
17×distribute-lft-out--
13×log-pow
10×associate-*r*
8×add-cbrt-cube
7×add-exp-log associate-*l* difference-of-squares
6×log-prod
5×add-log-exp
4×expm1-log1p-u sub-neg log1p-expm1-u
3×exp-prod fma-udef
2×associate-*r/ exp-sum pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
1×flip3-- flip-- rem-exp-log
Counts
4 → 145
Calls
4 calls:
15.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)
2.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))))
129.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)))

series1.2s

Counts
4 → 12
Calls
4 calls:
461.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)
247.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))))
144.0ms
(* a (- (- (log 1.0) (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z))) b))
378.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.2s

Counts
157 → 157
Iterations

Useful iterations: done (1.2s)

IterNodesCost
02886764
15345392
213014429
done50003606

prune749.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize27.0ms

Local error

Found 4 expressions with local error:

0.0b
(exp (fma t y (fma 0.5 (* a (pow z 2)) (* a (fma 1.0 z b)))))
0.0b
(* a (fma 1.0 z b))
0.3b
(/ (* (* (pow z y) (pow 1.0 a)) x) (exp (fma t y (fma 0.5 (* a (pow z 2)) (* a (fma 1.0 z b))))))
8.0b
(* a (pow z 2))

rewrite105.0ms

Algorithm
rewrite-expression-head
Rules
35×add-exp-log
23×prod-exp
20×add-sqr-sqrt
17×add-cbrt-cube
12×add-cube-cbrt *-un-lft-identity
11×div-exp associate-*r*
7×pow-to-exp pow-exp
6×pow1 associate-*l*
5×cbrt-unprod fma-udef add-log-exp unswap-sqr
4×expm1-log1p-u unpow-prod-down times-frac associate-/r* log1p-expm1-u
3×cbrt-undiv exp-prod exp-sum
2×*-commutative unpow2 sqr-pow
1×distribute-rgt-in frac-2neg distribute-lft-in pow-prod-down clear-num div-inv rem-exp-log associate-/l*
Counts
4 → 100
Calls
4 calls:
4.0ms
(exp (fma t y (fma 0.5 (* a (pow z 2)) (* a (fma 1.0 z b)))))
15.0ms
(* a (fma 1.0 z b))
52.0ms
(/ (* (* (pow z y) (pow 1.0 a)) x) (exp (fma t y (fma 0.5 (* a (pow z 2)) (* a (fma 1.0 z b))))))
27.0ms
(* a (pow z 2))

series918.0ms

Counts
4 → 12
Calls
4 calls:
164.0ms
(exp (fma t y (fma 0.5 (* a (pow z 2)) (* a (fma 1.0 z b)))))
48.0ms
(* a (fma 1.0 z b))
643.0ms
(/ (* (* (pow z y) (pow 1.0 a)) x) (exp (fma t y (fma 0.5 (* a (pow z 2)) (* a (fma 1.0 z b))))))
62.0ms
(* a (pow z 2))

simplify1.1s

Counts
112 → 112
Iterations

Useful iterations: done (1.1s)

IterNodesCost
02122152
15092067
217051770
done50001763

prune695.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.0b

regimes188.0ms

Accuracy

93.3% (0.1b remaining)

Error of 0.4b against oracle of 0.3b and baseline of 1.7b

bsearch608.0ms

Steps
ItersRangePoint
8
5.923569226917343e-28
1.3097002460689827e-23
1.8468199502624953e-24
10
-3302139.253978959
-5.67055232401073e-09
-0.19990768803858663

simplify5.0ms

Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
03669
14553
done4553

end0.0ms

sample13.3s

Algorithm
intervals
Results
5.7s40944×body80nan
2.6s12467×body80valid
239.0ms378×body640valid
148.0ms384×body320valid
91.0ms301×body160valid
72.0ms70×body1280valid