Details

Time bar (total: 30.0s)

sample323.0ms

Algorithm
intervals
Results
135.0ms1282×body80nan
81.0ms389×body80valid
10.0ms16×body640valid
5.0ms11×body320valid
3.0ms11×body160valid
2.0ms2×body1280valid

simplify2.5s

Counts
1 → 1
Iterations
IterNodes
done5000
51044
4347
3135
262
131
017

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.5b

localize35.0ms

Local error

Found 4 expressions with local error:

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

rewrite32.0ms

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

series748.0ms

Counts
4 → 12
Calls
4 calls:
225.0ms
(* x (exp (fma y (- (log z) t) (* (- (log (- 1.0 z)) b) a))))
204.0ms
(exp (fma y (- (log z) t) (* (- (log (- 1.0 z)) b) a)))
249.0ms
(fma y (- (log z) t) (* (- (log (- 1.0 z)) b) a))
71.0ms
(log (- 1.0 z))

simplify1.8s

Counts
79 → 79
Iterations
IterNodes
done5004
32445
2866
1358
0159

prune627.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize52.0ms

Local error

Found 4 expressions with local error:

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

rewrite58.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt
11×*-un-lft-identity
9×add-cube-cbrt
8×pow1 add-cbrt-cube associate-*l*
7×associate-*r* add-exp-log
5×add-log-exp
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×exp-prod fma-udef
2×exp-sum pow-prod-down associate-*l/ prod-exp *-commutative cbrt-unprod unswap-sqr
1×flip3-- flip-- distribute-lft-out-- difference-of-squares rem-exp-log
Counts
4 → 73
Calls
4 calls:
33.0ms
(* (- (fma -1/2 (* (/ z 1.0) (/ z 1.0)) (- (log 1.0) (* 1.0 z))) b) a)
21.0ms
(* x (exp (fma y (- (log z) t) (* (- (fma -1/2 (* (/ z 1.0) (/ z 1.0)) (- (log 1.0) (* 1.0 z))) b) a))))
2.0ms
(exp (fma y (- (log z) t) (* (- (fma -1/2 (* (/ z 1.0) (/ z 1.0)) (- (log 1.0) (* 1.0 z))) b) a)))
0.0ms
(fma y (- (log z) t) (* (- (fma -1/2 (* (/ z 1.0) (/ z 1.0)) (- (log 1.0) (* 1.0 z))) b) a))

series885.0ms

Counts
4 → 12
Calls
4 calls:
112.0ms
(* (- (fma -1/2 (* (/ z 1.0) (/ z 1.0)) (- (log 1.0) (* 1.0 z))) b) a)
275.0ms
(* x (exp (fma y (- (log z) t) (* (- (fma -1/2 (* (/ z 1.0) (/ z 1.0)) (- (log 1.0) (* 1.0 z))) b) a))))
206.0ms
(exp (fma y (- (log z) t) (* (- (fma -1/2 (* (/ z 1.0) (/ z 1.0)) (- (log 1.0) (* 1.0 z))) b) a)))
293.0ms
(fma y (- (log z) t) (* (- (fma -1/2 (* (/ z 1.0) (/ z 1.0)) (- (log 1.0) (* 1.0 z))) b) a))

simplify2.5s

Counts
85 → 85
Iterations
IterNodes
done5000
33649
2858
1313
0142

prune812.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize88.0ms

Local error

Found 4 expressions with local error:

0.0b
(* x (expm1 (log1p (exp (fma (- (log z) t) y (* a (- (fma (* (/ z 1.0) (/ z 1.0)) -1/2 (log 1.0)) (fma z 1.0 b))))))))
0.0b
(expm1 (log1p (exp (fma (- (log z) t) y (* a (- (fma (* (/ z 1.0) (/ z 1.0)) -1/2 (log 1.0)) (fma z 1.0 b)))))))
0.0b
(exp (fma (- (log z) t) y (* a (- (fma (* (/ z 1.0) (/ z 1.0)) -1/2 (log 1.0)) (fma z 1.0 b)))))
0.1b
(fma (- (log z) t) y (* a (- (fma (* (/ z 1.0) (/ z 1.0)) -1/2 (log 1.0)) (fma z 1.0 b))))

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
9×add-sqr-sqrt
7×*-un-lft-identity add-cube-cbrt
6×pow1 add-cbrt-cube add-exp-log
5×add-log-exp
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×exp-prod associate-*r* associate-*l*
2×fma-udef
1×expm1-log1p exp-sum pow-prod-down prod-exp *-commutative cbrt-unprod expm1-udef unswap-sqr rem-exp-log
Counts
4 → 59
Calls
4 calls:
7.0ms
(* x (expm1 (log1p (exp (fma (- (log z) t) y (* a (- (fma (* (/ z 1.0) (/ z 1.0)) -1/2 (log 1.0)) (fma z 1.0 b))))))))
0.0ms
(expm1 (log1p (exp (fma (- (log z) t) y (* a (- (fma (* (/ z 1.0) (/ z 1.0)) -1/2 (log 1.0)) (fma z 1.0 b)))))))
2.0ms
(exp (fma (- (log z) t) y (* a (- (fma (* (/ z 1.0) (/ z 1.0)) -1/2 (log 1.0)) (fma z 1.0 b)))))
0.0ms
(fma (- (log z) t) y (* a (- (fma (* (/ z 1.0) (/ z 1.0)) -1/2 (log 1.0)) (fma z 1.0 b))))

series1.0s

Counts
4 → 12
Calls
4 calls:
290.0ms
(* x (expm1 (log1p (exp (fma (- (log z) t) y (* a (- (fma (* (/ z 1.0) (/ z 1.0)) -1/2 (log 1.0)) (fma z 1.0 b))))))))
267.0ms
(expm1 (log1p (exp (fma (- (log z) t) y (* a (- (fma (* (/ z 1.0) (/ z 1.0)) -1/2 (log 1.0)) (fma z 1.0 b)))))))
203.0ms
(exp (fma (- (log z) t) y (* a (- (fma (* (/ z 1.0) (/ z 1.0)) -1/2 (log 1.0)) (fma z 1.0 b)))))
271.0ms
(fma (- (log z) t) y (* a (- (fma (* (/ z 1.0) (/ z 1.0)) -1/2 (log 1.0)) (fma z 1.0 b))))

simplify1.8s

Counts
71 → 71
Iterations
IterNodes
done5000
31912
2570
1228
0109

prune691.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize66.0ms

Local error

Found 4 expressions with local error:

0.0b
(* x (expm1 (log1p (pow E (fma (- (log z) t) y (* a (- (fma (* (/ z 1.0) (/ z 1.0)) -1/2 (log 1.0)) (fma z 1.0 b))))))))
0.0b
(pow E (fma (- (log z) t) y (* a (- (fma (* (/ z 1.0) (/ z 1.0)) -1/2 (log 1.0)) (fma z 1.0 b)))))
0.0b
(expm1 (log1p (pow E (fma (- (log z) t) y (* a (- (fma (* (/ z 1.0) (/ z 1.0)) -1/2 (log 1.0)) (fma z 1.0 b)))))))
0.1b
(fma (- (log z) t) y (* a (- (fma (* (/ z 1.0) (/ z 1.0)) -1/2 (log 1.0)) (fma z 1.0 b))))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt
8×*-un-lft-identity add-cube-cbrt
7×pow1 add-exp-log
6×add-cbrt-cube
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×pow-unpow unpow-prod-down associate-*r* associate-*l*
2×pow-exp fma-udef
1×pow-to-exp unpow-prod-up e-exp-1 expm1-log1p pow-pow pow-prod-down prod-exp *-commutative cbrt-unprod expm1-udef unswap-sqr sqr-pow
Counts
4 → 66
Calls
4 calls:
12.0ms
(* x (expm1 (log1p (pow E (fma (- (log z) t) y (* a (- (fma (* (/ z 1.0) (/ z 1.0)) -1/2 (log 1.0)) (fma z 1.0 b))))))))
4.0ms
(pow E (fma (- (log z) t) y (* a (- (fma (* (/ z 1.0) (/ z 1.0)) -1/2 (log 1.0)) (fma z 1.0 b)))))
0.0ms
(expm1 (log1p (pow E (fma (- (log z) t) y (* a (- (fma (* (/ z 1.0) (/ z 1.0)) -1/2 (log 1.0)) (fma z 1.0 b)))))))
1.0ms
(fma (- (log z) t) y (* a (- (fma (* (/ z 1.0) (/ z 1.0)) -1/2 (log 1.0)) (fma z 1.0 b))))

series1.2s

Counts
4 → 12
Calls
4 calls:
371.0ms
(* x (expm1 (log1p (pow E (fma (- (log z) t) y (* a (- (fma (* (/ z 1.0) (/ z 1.0)) -1/2 (log 1.0)) (fma z 1.0 b))))))))
221.0ms
(pow E (fma (- (log z) t) y (* a (- (fma (* (/ z 1.0) (/ z 1.0)) -1/2 (log 1.0)) (fma z 1.0 b)))))
300.0ms
(expm1 (log1p (pow E (fma (- (log z) t) y (* a (- (fma (* (/ z 1.0) (/ z 1.0)) -1/2 (log 1.0)) (fma z 1.0 b)))))))
316.0ms
(fma (- (log z) t) y (* a (- (fma (* (/ z 1.0) (/ z 1.0)) -1/2 (log 1.0)) (fma z 1.0 b))))

simplify2.3s

Counts
78 → 78
Iterations
IterNodes
done5003
32437
2690
1275
0123

prune668.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

regimes308.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify6.0ms

Iterations
IterNodes
done29
229
127
023

end0.0ms

sample11.4s

Algorithm
intervals
Results
5.5s40046×body80nan
3.0s12293×body80valid
331.0ms375×body640valid
193.0ms409×body320valid
67.0ms60×body1280valid
59.0ms252×body160valid