Details

Time bar (total: 21.5s)

sample46.0ms

Algorithm
intervals
Results
21.0ms256×body80valid

simplify6.8s

Counts
1 → 1
Iterations

Useful iterations: 4 (161.0ms)

IterNodesCost
01621
13320
27920
320120
440519
576619
6127819
7225719
8419319
done500019

prune13.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 24.1b

localize25.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ t y) a)
1.5b
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
1.8b
(+ (* (+ x y) z) (* (+ t y) a))
22.5b
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

rewrite337.0ms

Algorithm
rewrite-expression-head
Rules
40×*-un-lft-identity
20×add-sqr-sqrt
18×add-cube-cbrt
15×times-frac
13×distribute-lft-out
11×add-log-exp
10×associate-*l/
8×add-exp-log add-cbrt-cube
7×flip3-+ flip-+
6×pow1
5×associate-/r*
4×expm1-log1p-u associate-*l* frac-add log1p-expm1-u
3×fma-neg associate-*r* prod-diff associate-/l*
2×flip3-- diff-log sum-log associate-/r/ flip-- associate-/l/
1×cbrt-undiv +-commutative sub-neg fma-def frac-2neg div-sub div-exp pow-prod-down prod-exp associate--l+ clear-num *-commutative cbrt-unprod div-inv unswap-sqr
Counts
4 → 105
Calls
4 calls:
21.0ms
(* (+ t y) a)
106.0ms
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
15.0ms
(+ (* (+ x y) z) (* (+ t y) a))
190.0ms
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

series1.0s

Counts
4 → 12
Calls
4 calls:
32.0ms
(* (+ t y) a)
160.0ms
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
62.0ms
(+ (* (+ x y) z) (* (+ t y) a))
787.0ms
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

simplify1.7s

Counts
117 → 117
Iterations

Useful iterations: done (1.7s)

IterNodesCost
01922540
15642315
223112102
done50002066

prune448.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 9.8b

localize32.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ t y) a)
1.0b
(fma (+ x y) z (* (+ t y) a))
10.2b
(/ (* y b) (+ (+ x t) y))
18.3b
(/ (fma (+ x y) z (* (+ t y) a)) (+ (+ x t) y))

rewrite161.0ms

Algorithm
rewrite-expression-head
Rules
50×*-un-lft-identity
20×add-sqr-sqrt times-frac
19×distribute-lft-out
18×add-cube-cbrt
13×add-exp-log add-cbrt-cube
10×associate-/r*
6×pow1
4×expm1-log1p-u associate-*l* associate-/r/ log1p-expm1-u associate-/l* add-log-exp
3×cbrt-undiv flip3-+ div-exp associate-*r* flip-+
2×frac-2neg associate-*l/ prod-exp clear-num cbrt-unprod div-inv
1×pow-prod-down *-commutative fma-udef unswap-sqr
Counts
4 → 101
Calls
4 calls:
28.0ms
(* (+ t y) a)
1.0ms
(fma (+ x y) z (* (+ t y) a))
75.0ms
(/ (* y b) (+ (+ x t) y))
55.0ms
(/ (fma (+ x y) z (* (+ t y) a)) (+ (+ x t) y))

series496.0ms

Counts
4 → 12
Calls
4 calls:
24.0ms
(* (+ t y) a)
65.0ms
(fma (+ x y) z (* (+ t y) a))
93.0ms
(/ (* y b) (+ (+ x t) y))
313.0ms
(/ (fma (+ x y) z (* (+ t y) a)) (+ (+ x t) y))

simplify1.2s

Counts
113 → 113
Iterations

Useful iterations: 2 (200.0ms)

IterNodesCost
01531722
13471667
212461511
done50001511

prune394.0ms

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 5.4b

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ t y) a)
1.0b
(fma (+ x y) z (* (+ t y) a))
6.3b
(* y (/ b (+ (+ x t) y)))
18.3b
(/ (fma (+ x y) z (* (+ t y) a)) (+ (+ x t) y))

rewrite209.0ms

Algorithm
rewrite-expression-head
Rules
63×*-un-lft-identity
33×add-sqr-sqrt
31×times-frac
26×add-cube-cbrt
24×associate-*r*
22×distribute-lft-out
13×add-exp-log add-cbrt-cube
8×pow1
7×associate-*l*
5×associate-/r*
4×expm1-log1p-u associate-/r/ log1p-expm1-u add-log-exp
3×flip3-+ prod-exp cbrt-unprod flip-+ associate-/l* unswap-sqr
2×cbrt-undiv div-exp pow-prod-down associate-*l/ *-commutative div-inv
1×frac-2neg associate-*r/ clear-num fma-udef
Counts
4 → 114
Calls
4 calls:
37.0ms
(* (+ t y) a)
1.0ms
(fma (+ x y) z (* (+ t y) a))
115.0ms
(* y (/ b (+ (+ x t) y)))
49.0ms
(/ (fma (+ x y) z (* (+ t y) a)) (+ (+ x t) y))

series424.0ms

Counts
4 → 12
Calls
4 calls:
26.0ms
(* (+ t y) a)
58.0ms
(fma (+ x y) z (* (+ t y) a))
82.0ms
(* y (/ b (+ (+ x t) y)))
258.0ms
(/ (fma (+ x y) z (* (+ t y) a)) (+ (+ x t) y))

simplify1.9s

Counts
126 → 126
Iterations

Useful iterations: 2 (175.0ms)

IterNodesCost
01741851
13971776
212841622
345221622
done50001622

prune398.0ms

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 3.1b

localize22.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt (+ (+ x t) y)) (cbrt (+ (+ x t) y)))
1.0b
(fma (+ x y) z (* (+ t y) a))
3.0b
(* (/ y (* (cbrt (+ (+ x t) y)) (cbrt (+ (+ x t) y)))) (/ b (cbrt (+ (+ x t) y))))
18.3b
(/ (fma (+ x y) z (* (+ t y) a)) (+ (+ x t) y))

rewrite1.2s

Algorithm
rewrite-expression-head
Rules
118×*-un-lft-identity
63×add-sqr-sqrt
53×cbrt-prod
49×times-frac
45×distribute-lft-out
39×add-cube-cbrt
38×associate-*r*
29×add-exp-log
26×cbrt-div
23×associate-*l*
20×add-cbrt-cube
14×flip3-+ swap-sqr flip-+
13×pow1
12×associate-/r/
10×unswap-sqr
9×frac-times prod-exp cbrt-unprod
8×cbrt-undiv div-exp
6×pow1/3
5×associate-*r/ associate-*l/ associate-/r*
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×pow-prod-down div-inv associate-/l*
2×pow-sqr *-commutative pow-prod-up
1×pow2 frac-2neg pow-plus clear-num fma-udef
Counts
4 → 188
Calls
4 calls:
137.0ms
(* (cbrt (+ (+ x t) y)) (cbrt (+ (+ x t) y)))
0.0ms
(fma (+ x y) z (* (+ t y) a))
966.0ms
(* (/ y (* (cbrt (+ (+ x t) y)) (cbrt (+ (+ x t) y)))) (/ b (cbrt (+ (+ x t) y))))
44.0ms
(/ (fma (+ x y) z (* (+ t y) a)) (+ (+ x t) y))

series702.0ms

Counts
4 → 12
Calls
4 calls:
208.0ms
(* (cbrt (+ (+ x t) y)) (cbrt (+ (+ x t) y)))
63.0ms
(fma (+ x y) z (* (+ t y) a))
188.0ms
(* (/ y (* (cbrt (+ (+ x t) y)) (cbrt (+ (+ x t) y)))) (/ b (cbrt (+ (+ x t) y))))
242.0ms
(/ (fma (+ x y) z (* (+ t y) a)) (+ (+ x t) y))

simplify1.1s

Counts
200 → 200
Iterations

Useful iterations: done (1.1s)

IterNodesCost
02754657
16914376
227103779
done50003487

prune667.0ms

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 3.1b

regimes542.0ms

Accuracy

14.9% (17.4b remaining)

Error of 20.6b against oracle of 3.2b and baseline of 23.7b

bsearch231.0ms

Steps
ItersRangePoint
9
1.670902194138868e+164
1.1794214680334793e+169
1.9789658189585288e+164
7
1.1123608404219835e-45
5.613152505814407e-44
1.908584443905938e-45
8
2.738154310568617e-214
6.18762057606548e-211
5.325165846082586e-212
8
-2.95797388004145e+163
-4.4874797001979404e+160
-1.3293516713796004e+162

simplify5.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
038116
145116
done45116

end0.0ms

sample1.3s

Algorithm
intervals
Results
761.0ms7995×body80valid
1.0ms2×body640valid
0.0ms1×body1280valid
0.0ms1×body320valid
0.0ms1×body160valid