Details

Time bar (total: 29.7s)

sample158.0ms

Algorithm
intervals
Results
118.0ms635×body80valid

simplify1.0s

Counts
1 → 1
Iterations
IterNodes
done2003
52003
4907
3333
2110
147
023

prune19.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 12.2b

localize38.0ms

Local error

Found 4 expressions with local error:

0.2b
(- (* c t) (* i y))
3.2b
(* x (- (* y z) (* t a)))
6.5b
(* b (- (* c z) (* i a)))
6.5b
(* j (- (* c t) (* i y)))

rewrite112.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt
10×pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
9×distribute-rgt-in distribute-lft-in associate-*r* associate-*l*
7×sub-neg prod-diff
6×associate-*r/ add-log-exp
4×expm1-log1p-u flip3-- insert-posit16 log1p-expm1-u flip--
3×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
1×fma-neg diff-log
Counts
4 → 104
Calls
4 calls:
8.0ms
(- (* c t) (* i y))
43.0ms
(* x (- (* y z) (* t a)))
28.0ms
(* b (- (* c z) (* i a)))
32.0ms
(* j (- (* c t) (* i y)))

series313.0ms

Counts
4 → 12
Calls
4 calls:
53.0ms
(- (* c t) (* i y))
86.0ms
(* x (- (* y z) (* t a)))
95.0ms
(* b (- (* c z) (* i a)))
79.0ms
(* j (- (* c t) (* i y)))

simplify1.3s

Counts
116 → 116
Iterations
IterNodes
done2000
32000
21615
1527
0204

prune2.2s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 7.2b

localize69.0ms

Local error

Found 4 expressions with local error:

3.2b
(* x (- (* y z) (* t a)))
6.5b
(* b (- (* z c) (* a i)))
6.5b
(* j (- (* c t) (* i y)))
47.0b
(fma (- a) i (* a i))

rewrite95.0ms

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

series346.0ms

Counts
4 → 12
Calls
4 calls:
84.0ms
(* x (- (* y z) (* t a)))
115.0ms
(* b (- (* z c) (* a i)))
106.0ms
(* j (- (* c t) (* i y)))
41.0ms
(fma (- a) i (* a i))

simplify1.2s

Counts
110 → 110
Iterations
IterNodes
done2004
32004
21471
1492
0204

prune2.4s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 7.2b

localize70.0ms

Local error

Found 4 expressions with local error:

2.7b
(* (* (cbrt j) (cbrt j)) (* (cbrt j) (- (* c t) (* i y))))
3.2b
(* x (- (* y z) (* t a)))
4.1b
(* (cbrt j) (- (* c t) (* i y)))
6.5b
(* b (- (* c z) (* i a)))

rewrite163.0ms

Algorithm
rewrite-expression-head
Rules
22×pow1 add-exp-log
21×distribute-rgt-in distribute-lft-in
19×add-sqr-sqrt
15×add-cbrt-cube
13×associate-*l*
11×*-un-lft-identity pow-prod-down prod-exp add-cube-cbrt cbrt-unprod
10×sub-neg associate-*r* prod-diff associate-*r/
4×cbrt-prod expm1-log1p-u flip3-- *-commutative insert-posit16 log1p-expm1-u flip-- add-log-exp unswap-sqr
Counts
4 → 130
Calls
4 calls:
68.0ms
(* (* (cbrt j) (cbrt j)) (* (cbrt j) (- (* c t) (* i y))))
28.0ms
(* x (- (* y z) (* t a)))
26.0ms
(* (cbrt j) (- (* c t) (* i y)))
39.0ms
(* b (- (* c z) (* i a)))

series857.0ms

Counts
4 → 12
Calls
4 calls:
186.0ms
(* (* (cbrt j) (cbrt j)) (* (cbrt j) (- (* c t) (* i y))))
96.0ms
(* x (- (* y z) (* t a)))
451.0ms
(* (cbrt j) (- (* c t) (* i y)))
124.0ms
(* b (- (* c z) (* i a)))

simplify1.1s

Counts
142 → 142
Iterations
IterNodes
done2007
22007
1733
0256

prune3.4s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 2.1b

localize59.0ms

Local error

Found 4 expressions with local error:

3.2b
(* x (- (* y z) (* t a)))
5.5b
(* t (* j c))
6.2b
(* i (* y j))
6.5b
(* b (- (* c z) (* i a)))

rewrite113.0ms

Algorithm
rewrite-expression-head
Rules
18×pow1 add-cbrt-cube add-exp-log
14×add-sqr-sqrt
12×associate-*l*
10×*-un-lft-identity add-cube-cbrt
8×associate-*r* pow-prod-down prod-exp cbrt-unprod
6×distribute-rgt-in distribute-lft-in
4×expm1-log1p-u sub-neg prod-diff associate-*r/ *-commutative insert-posit16 log1p-expm1-u add-log-exp
2×flip3-- flip-- unswap-sqr
Counts
4 → 100
Calls
4 calls:
27.0ms
(* x (- (* y z) (* t a)))
14.0ms
(* t (* j c))
19.0ms
(* i (* y j))
52.0ms
(* b (- (* c z) (* i a)))

series260.0ms

Counts
4 → 12
Calls
4 calls:
94.0ms
(* x (- (* y z) (* t a)))
37.0ms
(* t (* j c))
45.0ms
(* i (* y j))
83.0ms
(* b (- (* c z) (* i a)))

simplify1.2s

Counts
112 → 112
Iterations
IterNodes
done2005
32005
21553
1503
0200

prune2.2s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 1.7b

regimes2.3s

Accuracy

11% (8.7b remaining)

Error of 11.0b against oracle of 2.3b and baseline of 12.0b

bsearch1.5s

Steps
ItersRangePoint
9
2.323901123820767e-253
1.6245394946727947e-247
2.3497846263581813e-253
9
-6.410481196777586e-307
1.070640419810248e-302
9.976262185724083e-303
9
-5.060626673533595e-270
-4.1486826882010436e-275
-1.8469584829062982e-273
9
-5.521498022496951e-146
-7.2207117312959604e-152
-8.984309356821545e-152
8
-1.2197912647633628e-115
-3.5601639511362624e-118
-4.1669150400006257e-116
9
-4.4925432227247783e+80
-1.501067628365568e+74
-2.774121744662978e+79

simplify60.0ms

Iterations
IterNodes
done99
199
071

end0.0ms

sample7.2s

Algorithm
intervals
Results
5.7s19002×body80valid