Details

Time bar (total: 33.0s)

sample93.0ms

Algorithm
intervals
Results
54.0ms565×body80valid

simplify2.0s

Counts
1 → 1
Iterations

Useful iterations: 4 (276.0ms)

IterNodesCost
023569
147569
2110544
3333544
41194519
done5000519

prune24.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 12.7b

localize38.0ms

Local error

Found 4 expressions with local error:

0.3b
(- (* t i) (* c z))
3.8b
(fma b (- (* t i) (* c z)) (* j (- (* c a) (* y i))))
4.5b
(* j (- (* c a) (* y i)))
5.3b
(fma (- (* y z) (* t a)) x (fma b (- (* t i) (* c z)) (* j (- (* c a) (* y i)))))

rewrite31.0ms

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

series1.6s

Counts
4 → 12
Calls
4 calls:
75.0ms
(- (* t i) (* c z))
276.0ms
(fma b (- (* t i) (* c z)) (* j (- (* c a) (* y i))))
77.0ms
(* j (- (* c a) (* y i)))
1.1s
(fma (- (* y z) (* t a)) x (fma b (- (* t i) (* c z)) (* j (- (* c a) (* y i)))))

simplify1.6s

Counts
76 → 76
Iterations

Useful iterations: done (1.6s)

IterNodesCost
013622045
133621077
2123021017
done500020857

prune1.1s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 6.5b

localize95.0ms

Local error

Found 4 expressions with local error:

2.2b
(+ (- (* i y)) (* i y))
3.8b
(fma b (- (* t i) (* c z)) (+ (* (fma c a (- (* i y))) j) (* j (+ (- (* i y)) (* i y)))))
4.5b
(* (fma c a (- (* i y))) j)
5.3b
(fma (- (* y z) (* t a)) x (fma b (- (* t i) (* c z)) (+ (* (fma c a (- (* i y))) j) (* j (+ (- (* i y)) (* i y))))))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
9×add-sqr-sqrt
8×add-log-exp
7×*-un-lft-identity add-cube-cbrt
6×pow1 fma-def add-cbrt-cube add-exp-log
4×expm1-log1p-u log1p-expm1-u
3×associate-*r* associate-*l*
2×distribute-lft-neg-in neg-mul-1 sum-log distribute-rgt-neg-in fma-udef
1×neg-sub0 +-commutative distribute-lft1-in flip3-+ distribute-rgt-out pow-prod-down neg-log prod-exp *-commutative associate-+l- cbrt-unprod flip-+ distribute-lft-out unswap-sqr
Counts
4 → 64
Calls
4 calls:
7.0ms
(+ (- (* i y)) (* i y))
0.0ms
(fma b (- (* t i) (* c z)) (+ (* (fma c a (- (* i y))) j) (* j (+ (- (* i y)) (* i y)))))
8.0ms
(* (fma c a (- (* i y))) j)
1.0ms
(fma (- (* y z) (* t a)) x (fma b (- (* t i) (* c z)) (+ (* (fma c a (- (* i y))) j) (* j (+ (- (* i y)) (* i y))))))

series1.2s

Counts
4 → 12
Calls
4 calls:
2.0ms
(+ (- (* i y)) (* i y))
297.0ms
(fma b (- (* t i) (* c z)) (+ (* (fma c a (- (* i y))) j) (* j (+ (- (* i y)) (* i y)))))
104.0ms
(* (fma c a (- (* i y))) j)
830.0ms
(fma (- (* y z) (* t a)) x (fma b (- (* t i) (* c z)) (+ (* (fma c a (- (* i y))) j) (* j (+ (- (* i y)) (* i y))))))

simplify1.3s

Counts
76 → 76
Iterations

Useful iterations: done (1.3s)

IterNodesCost
011522210
126618252
290916381
done500015908

prune1.0s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 6.0b

localize108.0ms

Local error

Found 4 expressions with local error:

2.2b
(+ (- (* i y)) (* i y))
3.3b
(* (fma c a (- (* i y))) (* (cbrt j) (cbrt j)))
3.8b
(fma b (- (* t i) (* c z)) (+ (* (* (fma c a (- (* i y))) (* (cbrt j) (cbrt j))) (cbrt j)) (* j (+ (- (* i y)) (* i y)))))
5.3b
(fma (- (* y z) (* t a)) x (fma b (- (* t i) (* c z)) (+ (* (* (fma c a (- (* i y))) (* (cbrt j) (cbrt j))) (cbrt j)) (* j (+ (- (* i y)) (* i y))))))

rewrite41.0ms

Algorithm
rewrite-expression-head
Rules
9×pow1 add-exp-log
8×add-log-exp
7×add-sqr-sqrt add-cbrt-cube
6×fma-def *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u log1p-expm1-u
3×associate-*l* pow-prod-down prod-exp cbrt-unprod
2×distribute-lft-neg-in neg-mul-1 sum-log distribute-rgt-neg-in fma-udef
1×neg-sub0 +-commutative distribute-lft1-in flip3-+ distribute-rgt-out associate-*r* neg-log *-commutative associate-+l- flip-+ distribute-lft-out unswap-sqr
Counts
4 → 65
Calls
4 calls:
11.0ms
(+ (- (* i y)) (* i y))
28.0ms
(* (fma c a (- (* i y))) (* (cbrt j) (cbrt j)))
0.0ms
(fma b (- (* t i) (* c z)) (+ (* (* (fma c a (- (* i y))) (* (cbrt j) (cbrt j))) (cbrt j)) (* j (+ (- (* i y)) (* i y)))))
0.0ms
(fma (- (* y z) (* t a)) x (fma b (- (* t i) (* c z)) (+ (* (* (fma c a (- (* i y))) (* (cbrt j) (cbrt j))) (cbrt j)) (* j (+ (- (* i y)) (* i y))))))

series1.6s

Counts
4 → 12
Calls
4 calls:
2.0ms
(+ (- (* i y)) (* i y))
323.0ms
(* (fma c a (- (* i y))) (* (cbrt j) (cbrt j)))
413.0ms
(fma b (- (* t i) (* c z)) (+ (* (* (fma c a (- (* i y))) (* (cbrt j) (cbrt j))) (cbrt j)) (* j (+ (- (* i y)) (* i y)))))
845.0ms
(fma (- (* y z) (* t a)) x (fma b (- (* t i) (* c z)) (+ (* (* (fma c a (- (* i y))) (* (cbrt j) (cbrt j))) (cbrt j)) (* j (+ (- (* i y)) (* i y))))))

simplify1.7s

Counts
77 → 77
Iterations

Useful iterations: done (1.7s)

IterNodesCost
013428785
134123944
2115322138
done500018465

prune1.2s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 6.0b

localize134.0ms

Local error

Found 4 expressions with local error:

3.3b
(* (fma c a (- (* i y))) (* (cbrt j) (cbrt j)))
3.8b
(fma b (- (* t i) (* c z)) (+ (* (* (fma c a (- (* i y))) (* (cbrt j) (cbrt j))) (cbrt j)) (* j (fma i (- y) (* i y)))))
5.3b
(fma (- (* y z) (* t a)) x (fma b (- (* t i) (* c z)) (+ (* (* (fma c a (- (* i y))) (* (cbrt j) (cbrt j))) (cbrt j)) (* j (fma i (- y) (* i y))))))
51.4b
(fma i (- y) (* i y))

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
9×pow1 add-exp-log
7×add-cbrt-cube
6×add-sqr-sqrt
5×*-un-lft-identity add-cube-cbrt
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×associate-*l* pow-prod-down prod-exp cbrt-unprod fma-udef
1×associate-*r* *-commutative unswap-sqr
Counts
4 → 51
Calls
4 calls:
35.0ms
(* (fma c a (- (* i y))) (* (cbrt j) (cbrt j)))
0.0ms
(fma b (- (* t i) (* c z)) (+ (* (* (fma c a (- (* i y))) (* (cbrt j) (cbrt j))) (cbrt j)) (* j (fma i (- y) (* i y)))))
1.0ms
(fma (- (* y z) (* t a)) x (fma b (- (* t i) (* c z)) (+ (* (* (fma c a (- (* i y))) (* (cbrt j) (cbrt j))) (cbrt j)) (* j (fma i (- y) (* i y))))))
1.0ms
(fma i (- y) (* i y))

series8.2s

Counts
4 → 12
Calls
4 calls:
288.0ms
(* (fma c a (- (* i y))) (* (cbrt j) (cbrt j)))
3.4s
(fma b (- (* t i) (* c z)) (+ (* (* (fma c a (- (* i y))) (* (cbrt j) (cbrt j))) (cbrt j)) (* j (fma i (- y) (* i y)))))
4.4s
(fma (- (* y z) (* t a)) x (fma b (- (* t i) (* c z)) (+ (* (* (fma c a (- (* i y))) (* (cbrt j) (cbrt j))) (cbrt j)) (* j (fma i (- y) (* i y))))))
36.0ms
(fma i (- y) (* i y))

simplify2.2s

Counts
63 → 63
Iterations

Useful iterations: 3 (1.1s)

IterNodesCost
011328102
124525433
273524978
3350721148
done500121148

prune596.0ms

Pruning

15 alts after pruning (14 fresh and 1 done)

Merged error: 6.0b

regimes2.2s

Accuracy

15.5% (6.9b remaining)

Error of 11.3b against oracle of 4.5b and baseline of 12.6b

bsearch323.0ms

Steps
ItersRangePoint
8
6.107475267655487e-140
1.743702155879611e-136
3.98399750703896e-138
10
-2.5579234629896453e-199
-1.866993758014864e-209
-2.672582041748257e-203

simplify23.0ms

Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
0421466
1621466
2641466
done641466

end0.0ms

sample4.5s

Algorithm
intervals
Results
3.3s19345×body80valid