Details

Time bar (total: 13.3s)

sample60.0ms

Algorithm
intervals
Results
35.0ms353×body80valid

simplify2.5s

Counts
1 → 1
Iterations
IterNodes
done2000
81794
71579
61259
5785
4479
3234
290
135
017

prune25.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 3.1b

localize50.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b))
0.2b
(* (* a 27.0) b)
0.3b
(* (* y 9.0) z)
5.4b
(* (* (* y 9.0) z) t)

rewrite104.0ms

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

series304.0ms

Counts
4 → 12
Calls
4 calls:
211.0ms
(+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b))
38.0ms
(* (* a 27.0) b)
23.0ms
(* (* y 9.0) z)
32.0ms
(* (* (* y 9.0) z) t)

simplify864.0ms

Counts
100 → 100
Iterations
IterNodes
done2001
21454
1404
0156

prune711.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize39.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* (* 27.0 a) b) (* y (* (* z 9.0) t)))
0.2b
(* (* 27.0 a) b)
0.2b
(* (* z 9.0) t)
6.0b
(* y (* (* z 9.0) t))

rewrite129.0ms

Algorithm
rewrite-expression-head
Rules
23×pow1 add-cbrt-cube add-exp-log
12×pow-prod-down prod-exp cbrt-unprod
7×add-sqr-sqrt *-un-lft-identity associate-*r* add-cube-cbrt
6×add-log-exp
5×associate-*l*
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×*-commutative
1×sub-neg flip3-- fma-neg diff-log prod-diff flip--
Counts
4 → 83
Calls
4 calls:
28.0ms
(- (* (* 27.0 a) b) (* y (* (* z 9.0) t)))
13.0ms
(* (* 27.0 a) b)
17.0ms
(* (* z 9.0) t)
69.0ms
(* y (* (* z 9.0) t))

series240.0ms

Counts
4 → 12
Calls
4 calls:
149.0ms
(- (* (* 27.0 a) b) (* y (* (* z 9.0) t)))
23.0ms
(* (* 27.0 a) b)
35.0ms
(* (* z 9.0) t)
32.0ms
(* y (* (* z 9.0) t))

simplify916.0ms

Counts
95 → 95
Iterations
IterNodes
done2009
21288
1364
0142

prune564.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize37.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* (* 27.0 a) b) (* y (* z (* 9.0 t))))
0.2b
(* z (* 9.0 t))
0.2b
(* (* 27.0 a) b)
6.0b
(* y (* z (* 9.0 t)))

rewrite86.0ms

Algorithm
rewrite-expression-head
Rules
23×pow1 add-cbrt-cube add-exp-log
12×pow-prod-down prod-exp cbrt-unprod
7×add-sqr-sqrt *-un-lft-identity associate-*l* add-cube-cbrt
6×add-log-exp
5×associate-*r*
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×*-commutative
1×sub-neg flip3-- fma-neg diff-log prod-diff flip--
Counts
4 → 83
Calls
4 calls:
19.0ms
(- (* (* 27.0 a) b) (* y (* z (* 9.0 t))))
14.0ms
(* z (* 9.0 t))
14.0ms
(* (* 27.0 a) b)
38.0ms
(* y (* z (* 9.0 t)))

series262.0ms

Counts
4 → 12
Calls
4 calls:
156.0ms
(- (* (* 27.0 a) b) (* y (* z (* 9.0 t))))
33.0ms
(* z (* 9.0 t))
31.0ms
(* (* 27.0 a) b)
42.0ms
(* y (* z (* 9.0 t)))

simplify671.0ms

Counts
95 → 95
Iterations
IterNodes
done2005
21282
1346
0140

prune512.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize36.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* (* 27.0 a) b) (* 9.0 (* t (* z y))))
0.2b
(* (* 27.0 a) b)
0.2b
(* 9.0 (* t (* z y)))
5.2b
(* t (* z y))

rewrite110.0ms

Algorithm
rewrite-expression-head
Rules
23×pow1 add-cbrt-cube add-exp-log
12×pow-prod-down prod-exp cbrt-unprod
7×add-sqr-sqrt *-un-lft-identity associate-*l* add-cube-cbrt
6×add-log-exp
5×associate-*r*
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×*-commutative
1×sub-neg flip3-- fma-neg diff-log prod-diff flip--
Counts
4 → 83
Calls
4 calls:
24.0ms
(- (* (* 27.0 a) b) (* 9.0 (* t (* z y))))
14.0ms
(* (* 27.0 a) b)
51.0ms
(* 9.0 (* t (* z y)))
20.0ms
(* t (* z y))

series238.0ms

Counts
4 → 12
Calls
4 calls:
112.0ms
(- (* (* 27.0 a) b) (* 9.0 (* t (* z y))))
37.0ms
(* (* 27.0 a) b)
46.0ms
(* 9.0 (* t (* z y)))
42.0ms
(* t (* z y))

simplify697.0ms

Counts
95 → 95
Iterations
IterNodes
done2000
21168
1339
0135

prune528.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

regimes1.1s

Accuracy

36.8% (2.2b remaining)

Error of 2.2b against oracle of 0.0b and baseline of 3.5b

bsearch163.0ms

Steps
ItersRangePoint
10
-6.243731812497001e+89
-2.4986532268324042e+76
-1.4982446069550864e+80

simplify8.0ms

Iterations
IterNodes
done41
141
029

end0.0ms

sample2.4s

Algorithm
intervals
Results
1.9s11045×body80valid