Details

Time bar (total: 28.9s)

sample190.0ms

Algorithm
intervals
Results
146.0ms641×body80valid

simplify2.6s

Counts
1 → 1
Iterations
IterNodes
done5000
52726
4907
3333
2110
147
023

prune29.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 11.5b

localize80.0ms

Local error

Found 4 expressions with local error:

0.2b
(- (* i t) (* z c))
4.2b
(* (- (* z y) (* t a)) x)
4.6b
(fma (- (* a c) (* i y)) j (fma (- (* i t) (* z c)) b (* (- (* z y) (* t a)) x)))
5.1b
(fma (- (* i t) (* z c)) b (* (- (* z y) (* t a)) x))

rewrite72.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt
6×pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt add-log-exp
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×associate-*r* associate-*l*
2×flip3-- associate-*l/ fma-udef flip--
1×sub-neg fma-neg diff-log prod-diff pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 62
Calls
4 calls:
24.0ms
(- (* i t) (* z c))
45.0ms
(* (- (* z y) (* t a)) x)
0.0ms
(fma (- (* a c) (* i y)) j (fma (- (* i t) (* z c)) b (* (- (* z y) (* t a)) x)))
1.0ms
(fma (- (* i t) (* z c)) b (* (- (* z y) (* t a)) x))

series1.2s

Counts
4 → 12
Calls
4 calls:
61.0ms
(- (* i t) (* z c))
89.0ms
(* (- (* z y) (* t a)) x)
710.0ms
(fma (- (* a c) (* i y)) j (fma (- (* i t) (* z c)) b (* (- (* z y) (* t a)) x)))
329.0ms
(fma (- (* i t) (* z c)) b (* (- (* z y) (* t a)) x))

simplify2.9s

Counts
74 → 74
Iterations
IterNodes
done5008
33355
2910
1302
0126

prune1.0s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 4.6b

localize60.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* a c) (* i y))
4.2b
(* (- (* z y) (* t a)) x)
4.6b
(fma (- (* a c) (* i y)) j (fma (fma i t (- (* z c))) b (* (- (* z y) (* t a)) x)))
5.1b
(fma (fma i t (- (* z c))) b (* (- (* z y) (* t a)) x))

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt
6×pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt add-log-exp
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×associate-*r* associate-*l*
2×flip3-- associate-*l/ fma-udef flip--
1×sub-neg fma-neg diff-log prod-diff pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 62
Calls
4 calls:
16.0ms
(- (* a c) (* i y))
26.0ms
(* (- (* z y) (* t a)) x)
0.0ms
(fma (- (* a c) (* i y)) j (fma (fma i t (- (* z c))) b (* (- (* z y) (* t a)) x)))
0.0ms
(fma (fma i t (- (* z c))) b (* (- (* z y) (* t a)) x))

series1.3s

Counts
4 → 12
Calls
4 calls:
54.0ms
(- (* a c) (* i y))
101.0ms
(* (- (* z y) (* t a)) x)
778.0ms
(fma (- (* a c) (* i y)) j (fma (fma i t (- (* z c))) b (* (- (* z y) (* t a)) x)))
358.0ms
(fma (fma i t (- (* z c))) b (* (- (* z y) (* t a)) x))

simplify3.0s

Counts
74 → 74
Iterations
IterNodes
done5009
33305
2881
1298
0124

prune891.0ms

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 3.8b

localize106.0ms

Local error

Found 4 expressions with local error:

5.1b
(fma (* (* (cbrt (- (* i t) (* z c))) (cbrt (- (* i t) (* z c)))) (cbrt (- (* i t) (* z c)))) b (* (- (* z y) (* t a)) x))
7.0b
(cbrt (- (* i t) (* z c)))
7.0b
(cbrt (- (* i t) (* z c)))
7.0b
(cbrt (- (* i t) (* z c)))

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
9×cbrt-prod
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×cbrt-div
4×expm1-log1p-u pow1 add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u add-log-exp
3×flip3-- pow1/3 flip--
1×fma-udef
Counts
4 → 59
Calls
4 calls:
0.0ms
(fma (* (* (cbrt (- (* i t) (* z c))) (cbrt (- (* i t) (* z c)))) (cbrt (- (* i t) (* z c)))) b (* (- (* z y) (* t a)) x))
5.0ms
(cbrt (- (* i t) (* z c)))
5.0ms
(cbrt (- (* i t) (* z c)))
9.0ms
(cbrt (- (* i t) (* z c)))

series775.0ms

Counts
4 → 12
Calls
4 calls:
293.0ms
(fma (* (* (cbrt (- (* i t) (* z c))) (cbrt (- (* i t) (* z c)))) (cbrt (- (* i t) (* z c)))) b (* (- (* z y) (* t a)) x))
169.0ms
(cbrt (- (* i t) (* z c)))
168.0ms
(cbrt (- (* i t) (* z c)))
145.0ms
(cbrt (- (* i t) (* z c)))

simplify2.0s

Counts
71 → 71
Iterations
IterNodes
done5001
31867
2643
1248
0101

prune822.0ms

Pruning

17 alts after pruning (16 fresh and 1 done)

Merged error: 3.8b

localize88.0ms

Local error

Found 4 expressions with local error:

7.0b
(cbrt (- (* i t) (* z c)))
7.0b
(cbrt (- (* i t) (* z c)))
7.0b
(cbrt (- (* i t) (* z c)))
7.0b
(cbrt (- (* i t) (* z c)))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-prod
8×add-sqr-sqrt cbrt-div *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u pow1 flip3-- add-cbrt-cube pow1/3 add-exp-log insert-posit16 log1p-expm1-u flip-- add-log-exp
Counts
4 → 64
Calls
4 calls:
6.0ms
(cbrt (- (* i t) (* z c)))
5.0ms
(cbrt (- (* i t) (* z c)))
5.0ms
(cbrt (- (* i t) (* z c)))
6.0ms
(cbrt (- (* i t) (* z c)))

series644.0ms

Counts
4 → 12
Calls
4 calls:
159.0ms
(cbrt (- (* i t) (* z c)))
139.0ms
(cbrt (- (* i t) (* z c)))
191.0ms
(cbrt (- (* i t) (* z c)))
155.0ms
(cbrt (- (* i t) (* z c)))

simplify2.4s

Counts
76 → 76
Iterations
IterNodes
done5000
44458
31490
2516
1192
073

prune956.0ms

Pruning

17 alts after pruning (15 fresh and 2 done)

Merged error: 3.8b

regimes1.7s

Accuracy

8.3% (7.1b remaining)

Error of 11.3b against oracle of 4.2b and baseline of 12.0b

bsearch272.0ms

Steps
ItersRangePoint
8
3.45376277637833e-115
1.2534322522496231e-110
2.6598888187366212e-112
8
-7.43891249458697e-300
-2.531638822362266e-304
-7.739799318621917e-302

simplify16.0ms

Iterations
IterNodes
done54
154
038

end0.0ms

sample5.8s

Algorithm
intervals
Results
4.5s19171×body80valid