Details

Time bar (total: 21.8s)

sample61.0ms

Algorithm
intervals
Results
29.0ms272×body80valid

simplify2.5s

Counts
1 → 1
Iterations
IterNodes
done5001
91738
8588
7279
6203
5170
4125
375
243
124
014

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 22.9b

localize46.0ms

Local error

Found 4 expressions with local error:

0.0b
(* z (- t a))
0.0b
(* z (- b y))
0.5b
(+ (* x y) (* z (- t a)))
22.2b
(/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y))))

rewrite92.0ms

Algorithm
rewrite-expression-head
Rules
60×add-sqr-sqrt
56×*-un-lft-identity
54×prod-diff
52×add-cube-cbrt
33×distribute-rgt-in distribute-lft-in
22×associate-+r+
10×add-cbrt-cube associate-*r* add-exp-log
9×times-frac
8×pow1
6×sub-neg associate-*l* add-log-exp
4×expm1-log1p-u associate-*r/ log1p-expm1-u
3×associate-/r* flip3-+ flip-+ associate-/l*
2×flip3-- pow-prod-down prod-exp associate-/r/ *-commutative cbrt-unprod flip-- distribute-lft-out-- difference-of-squares unswap-sqr associate-/l/
1×cbrt-undiv +-commutative clear-num sum-log fma-def frac-2neg div-exp div-inv
Counts
4 → 161
Calls
4 calls:
18.0ms
(* z (- t a))
18.0ms
(* z (- b y))
14.0ms
(+ (* x y) (* z (- t a)))
36.0ms
(/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y))))

series751.0ms

Counts
4 → 12
Calls
4 calls:
54.0ms
(* z (- t a))
78.0ms
(* z (- b y))
67.0ms
(+ (* x y) (* z (- t a)))
552.0ms
(/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y))))

simplify1.8s

Counts
173 → 173
Iterations
IterNodes
done5000
22874
1710
0291

prune926.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 22.3b

localize28.0ms

Local error

Found 4 expressions with local error:

0.0b
(* z (- b y))
0.5b
(+ (* x y) (+ (* z t) (- (* a z))))
0.7b
(+ (* z t) (- (* a z)))
22.2b
(/ (+ (* x y) (+ (* z t) (- (* a z)))) (+ y (* z (- b y))))

rewrite121.0ms

Algorithm
rewrite-expression-head
Rules
30×add-sqr-sqrt
28×*-un-lft-identity
26×add-cube-cbrt
18×prod-diff
16×add-log-exp
11×distribute-rgt-in distribute-lft-in
9×associate-+r- times-frac
8×add-cbrt-cube add-exp-log
7×sum-log
6×pow1
5×associate-*r*
4×expm1-log1p-u flip3-+ flip-+ log1p-expm1-u
3×neg-sub0 associate-/r* div-sub associate-*l* unsub-neg associate-/l*
2×+-commutative sub-neg fma-def neg-log associate-*r/ associate-/r/ associate-/l/
1×cbrt-undiv associate-+r+ clear-num frac-2neg flip3-- div-exp pow-prod-down prod-exp *-commutative cbrt-unprod div-inv flip-- distribute-lft-out-- difference-of-squares unswap-sqr
Counts
4 → 120
Calls
4 calls:
19.0ms
(* z (- b y))
19.0ms
(+ (* x y) (+ (* z t) (- (* a z))))
7.0ms
(+ (* z t) (- (* a z)))
73.0ms
(/ (+ (* x y) (+ (* z t) (- (* a z)))) (+ y (* z (- b y))))

series683.0ms

Counts
4 → 12
Calls
4 calls:
61.0ms
(* z (- b y))
75.0ms
(+ (* x y) (+ (* z t) (- (* a z))))
59.0ms
(+ (* z t) (- (* a z)))
487.0ms
(/ (+ (* x y) (+ (* z t) (- (* a z)))) (+ y (* z (- b y))))

simplify2.0s

Counts
132 → 132
Iterations
IterNodes
done5000
22848
1583
0219

prune868.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 22.3b

localize30.0ms

Local error

Found 4 expressions with local error:

0.4b
(/ 1 (fma (- b y) z y))
0.5b
(+ (* x y) (+ (* z t) (- (* a z))))
0.7b
(+ (* z t) (- (* a z)))
22.2b
(* (+ (* x y) (+ (* z t) (- (* a z)))) (/ 1 (fma (- b y) z y)))

rewrite151.0ms

Algorithm
rewrite-expression-head
Rules
27×add-sqr-sqrt
21×*-un-lft-identity
20×times-frac add-cube-cbrt
17×add-exp-log
16×add-log-exp
13×associate-*r*
11×add-cbrt-cube
7×pow1 sum-log
5×associate-+r-
4×expm1-log1p-u flip3-+ div-exp prod-exp flip-+ log1p-expm1-u
3×associate-/r* associate-*l* associate-/l* unswap-sqr
2×neg-sub0 frac-times cbrt-undiv +-commutative rec-exp fma-def 1-exp unsub-neg neg-log associate-*l/ cbrt-unprod div-inv
1×associate-+r+ clear-num frac-2neg pow-prod-down associate-*r/ un-div-inv *-commutative pow-flip inv-pow
Counts
4 → 113
Calls
4 calls:
6.0ms
(/ 1 (fma (- b y) z y))
18.0ms
(+ (* x y) (+ (* z t) (- (* a z))))
11.0ms
(+ (* z t) (- (* a z)))
113.0ms
(* (+ (* x y) (+ (* z t) (- (* a z)))) (/ 1 (fma (- b y) z y)))

series764.0ms

Counts
4 → 12
Calls
4 calls:
148.0ms
(/ 1 (fma (- b y) z y))
76.0ms
(+ (* x y) (+ (* z t) (- (* a z))))
52.0ms
(+ (* z t) (- (* a z)))
488.0ms
(* (+ (* x y) (+ (* z t) (- (* a z)))) (/ 1 (fma (- b y) z y)))

simplify2.0s

Counts
125 → 125
Iterations
IterNodes
done5000
22655
1437
0156

prune892.0ms

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 22.3b

localize36.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (- t a) z)
0.3b
(fma x y (* (- t a) z))
0.4b
(/ 1 (/ (fma (- b y) z y) (fma x y (* (- t a) z))))
22.2b
(/ (fma (- b y) z y) (fma x y (* (- t a) z)))

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
84×times-frac
60×add-sqr-sqrt
58×*-un-lft-identity
56×add-cube-cbrt
19×add-exp-log
16×associate-/r*
13×add-cbrt-cube
8×div-exp
7×pow1
6×div-inv associate-/l*
5×associate-*l*
4×expm1-log1p-u cbrt-undiv log1p-expm1-u add-log-exp
3×associate-*r*
2×rec-exp clear-num frac-2neg 1-exp associate-*l/
1×flip3-- pow-prod-down prod-exp associate-/r/ *-commutative cbrt-unprod fma-udef pow-flip flip-- distribute-lft-out-- inv-pow difference-of-squares unswap-sqr
Counts
4 → 141
Calls
4 calls:
22.0ms
(* (- t a) z)
0.0ms
(fma x y (* (- t a) z))
8.0ms
(/ 1 (/ (fma (- b y) z y) (fma x y (* (- t a) z))))
4.0ms
(/ (fma (- b y) z y) (fma x y (* (- t a) z)))

series2.1s

Counts
4 → 12
Calls
4 calls:
55.0ms
(* (- t a) z)
102.0ms
(fma x y (* (- t a) z))
1.7s
(/ 1 (/ (fma (- b y) z y) (fma x y (* (- t a) z))))
253.0ms
(/ (fma (- b y) z y) (fma x y (* (- t a) z)))

simplify1.3s

Counts
153 → 153
Iterations
IterNodes
done5002
22182
1483
0212

prune1.3s

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 8.3b

regimes1.4s

Accuracy

32.7% (8.3b remaining)

Error of 19.1b against oracle of 10.8b and baseline of 23.2b

bsearch164.0ms

Steps
ItersRangePoint
6
1.770057870633885e+84
1.5192017912580791e+85
1.500183368090721e+85
8
-2.8861031894113186e+168
-3.35691658268957e+164
-4.812224200595294e+164

simplify10.0ms

Iterations
IterNodes
done43
243
141
026

end0.0ms

sample1.7s

Algorithm
intervals
Results
826.0ms8417×body80valid