Details

Time bar (total: 41.8s)

sample97.0ms

Algorithm
intervals
Results
40.0ms363×body80valid

simplify10.3s

Counts
1 → 1
Iterations
IterNodes
done5000
124854
113636
102752
92110
81794
71579
61259
5785
4479
3234
290
135
017

prune43.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize84.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (fma (* 27.0 a) b (* x 2.0)) (* z (* (* t y) 9.0)))
0.1b
(fma (* 27.0 a) b (* x 2.0))
0.3b
(* (* t y) 9.0)
4.3b
(* z (* (* t y) 9.0))

rewrite209.0ms

Algorithm
rewrite-expression-head
Rules
18×pow1 add-cbrt-cube add-exp-log
9×pow-prod-down prod-exp cbrt-unprod
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×add-log-exp
4×expm1-log1p-u associate-*r* associate-*l* insert-posit16 log1p-expm1-u
3×fma-neg prod-diff
2×*-commutative fma-udef
1×sub-neg flip3-- diff-log associate--l+ flip--
Counts
4 → 78
Calls
4 calls:
25.0ms
(- (fma (* 27.0 a) b (* x 2.0)) (* z (* (* t y) 9.0)))
2.0ms
(fma (* 27.0 a) b (* x 2.0))
56.0ms
(* (* t y) 9.0)
120.0ms
(* z (* (* t y) 9.0))

series475.0ms

Counts
4 → 12
Calls
4 calls:
288.0ms
(- (fma (* 27.0 a) b (* x 2.0)) (* z (* (* t y) 9.0)))
81.0ms
(fma (* 27.0 a) b (* x 2.0))
41.0ms
(* (* t y) 9.0)
65.0ms
(* z (* (* t y) 9.0))

simplify8.0s

Counts
90 → 90
Iterations
IterNodes
done5000
34667
2967
1298
0126

prune1.4s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.1b

localize83.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (fma (* 27.0 a) b (* x 2.0)) (* z (* t (* y 9.0))))
0.1b
(fma (* 27.0 a) b (* x 2.0))
0.2b
(* t (* y 9.0))
4.3b
(* z (* t (* y 9.0)))

rewrite204.0ms

Algorithm
rewrite-expression-head
Rules
18×pow1 add-cbrt-cube add-exp-log
9×pow-prod-down prod-exp cbrt-unprod
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×associate-*l* add-log-exp
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×fma-neg prod-diff
2×associate-*r* *-commutative fma-udef
1×sub-neg flip3-- diff-log associate--l+ flip--
Counts
4 → 78
Calls
4 calls:
19.0ms
(- (fma (* 27.0 a) b (* x 2.0)) (* z (* t (* y 9.0))))
2.0ms
(fma (* 27.0 a) b (* x 2.0))
40.0ms
(* t (* y 9.0))
139.0ms
(* z (* t (* y 9.0)))

series448.0ms

Counts
4 → 12
Calls
4 calls:
292.0ms
(- (fma (* 27.0 a) b (* x 2.0)) (* z (* t (* y 9.0))))
70.0ms
(fma (* 27.0 a) b (* x 2.0))
33.0ms
(* t (* y 9.0))
53.0ms
(* z (* t (* y 9.0)))

simplify2.9s

Counts
90 → 90
Iterations
IterNodes
done5001
21072
1283
0124

prune1.5s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize127.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (fma (* b 27.0) a (* 2.0 x)) (* z (* y (* 9.0 t))))
0.1b
(fma (* b 27.0) a (* 2.0 x))
0.2b
(* y (* 9.0 t))
4.3b
(* z (* y (* 9.0 t)))

rewrite210.0ms

Algorithm
rewrite-expression-head
Rules
18×pow1 add-cbrt-cube add-exp-log
9×pow-prod-down prod-exp cbrt-unprod
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×associate-*l* add-log-exp
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×fma-neg prod-diff
2×associate-*r* *-commutative fma-udef
1×sub-neg flip3-- diff-log associate--l+ flip--
Counts
4 → 78
Calls
4 calls:
19.0ms
(- (fma (* b 27.0) a (* 2.0 x)) (* z (* y (* 9.0 t))))
1.0ms
(fma (* b 27.0) a (* 2.0 x))
48.0ms
(* y (* 9.0 t))
138.0ms
(* z (* y (* 9.0 t)))

series386.0ms

Counts
4 → 12
Calls
4 calls:
240.0ms
(- (fma (* b 27.0) a (* 2.0 x)) (* z (* y (* 9.0 t))))
78.0ms
(fma (* b 27.0) a (* 2.0 x))
25.0ms
(* y (* 9.0 t))
42.0ms
(* z (* y (* 9.0 t)))

simplify3.0s

Counts
90 → 90
Iterations
IterNodes
done5000
21015
1282
0123

prune1.6s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize107.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (fma (* a b) 27.0 (* x 2.0)) (* z (* y (* 9.0 t))))
0.1b
(fma (* a b) 27.0 (* x 2.0))
0.2b
(* y (* 9.0 t))
4.3b
(* z (* y (* 9.0 t)))

rewrite259.0ms

Algorithm
rewrite-expression-head
Rules
18×pow1 add-cbrt-cube add-exp-log
9×pow-prod-down prod-exp cbrt-unprod
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×associate-*l* add-log-exp
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×fma-neg prod-diff
2×associate-*r* *-commutative fma-udef
1×sub-neg flip3-- diff-log associate--l+ flip--
Counts
4 → 78
Calls
4 calls:
39.0ms
(- (fma (* a b) 27.0 (* x 2.0)) (* z (* y (* 9.0 t))))
3.0ms
(fma (* a b) 27.0 (* x 2.0))
70.0ms
(* y (* 9.0 t))
139.0ms
(* z (* y (* 9.0 t)))

series509.0ms

Counts
4 → 12
Calls
4 calls:
322.0ms
(- (fma (* a b) 27.0 (* x 2.0)) (* z (* y (* 9.0 t))))
70.0ms
(fma (* a b) 27.0 (* x 2.0))
44.0ms
(* y (* 9.0 t))
73.0ms
(* z (* y (* 9.0 t)))

simplify3.4s

Counts
90 → 90
Iterations
IterNodes
done5010
21058
1281
0123

prune1.5s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

regimes2.7s

Accuracy

73.7% (1.0b remaining)

Error of 1.0b against oracle of 0.0b and baseline of 3.8b

bsearch213.0ms

Steps
ItersRangePoint
5
9.437622591765919e-129
2.785367499742759e-128
2.728698628306364e-128
9
-4.787499802700674e+91
-8.927875500473959e+84
-1.63797584648016e+90

simplify15.0ms

Iterations
IterNodes
done38
138
027

end0.0ms

sample2.1s

Algorithm
intervals
Results
1.2s11078×body80valid