Details

Time bar (total: 16.7s)

sample83.0ms

Algorithm
intervals
Results
35.0ms567×body80valid

simplify2.0s

Counts
1 → 1
Iterations

Useful iterations: 4 (183.0ms)

IterNodesCost
02329
14729
211028
333328
490927
5281127
done500027

prune12.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 10.8b

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* c t) (* i y))
3.9b
(fma x (- (* y z) (* t a)) (fma b (- (* i a) (* c z)) (* j (- (* c t) (* i y)))))
3.9b
(fma b (- (* i a) (* c z)) (* j (- (* c t) (* i y))))
5.1b
(* j (- (* c t) (* i y)))

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt
6×pow1 add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube 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/ flip-- fma-udef
1×fma-neg diff-log pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 64
Calls
4 calls:
9.0ms
(- (* c t) (* i y))
0.0ms
(fma x (- (* y z) (* t a)) (fma b (- (* i a) (* c z)) (* j (- (* c t) (* i y)))))
0.0ms
(fma b (- (* i a) (* c z)) (* j (- (* c t) (* i y))))
32.0ms
(* j (- (* c t) (* i y)))

series1.0s

Counts
4 → 12
Calls
4 calls:
50.0ms
(- (* c t) (* i y))
627.0ms
(fma x (- (* y z) (* t a)) (fma b (- (* i a) (* c z)) (* j (- (* c t) (* i y)))))
247.0ms
(fma b (- (* i a) (* c z)) (* j (- (* c t) (* i y))))
82.0ms
(* j (- (* c t) (* i y)))

simplify1.2s

Counts
76 → 76
Iterations

Useful iterations: done (1.2s)

IterNodesCost
01191239
12621222
27061071
324711071
done50011056

prune387.0ms

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 6.5b

localize27.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y))))
4.5b
(* b (- (* c z) (* i a)))
4.7b
(* x (- (* y z) (* t a)))
5.1b
(* j (- (* c t) (* i y)))

rewrite196.0ms

Algorithm
rewrite-expression-head
Rules
34×associate-*r/
19×flip3-- flip--
17×add-sqr-sqrt
15×distribute-rgt-in distribute-lft-in
12×frac-add
11×add-cube-cbrt sub-neg *-un-lft-identity prod-diff
10×pow1 add-exp-log add-cbrt-cube
9×associate-+l+ associate-*r* associate-*l* add-log-exp
8×frac-sub
6×associate-+r+ associate--l+
4×expm1-log1p-u log1p-expm1-u
3×fma-def pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
2×sum-log
1×+-commutative associate-+l- flip3-+ diff-log flip-+
Counts
4 → 129
Calls
4 calls:
98.0ms
(+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y))))
30.0ms
(* b (- (* c z) (* i a)))
33.0ms
(* x (- (* y z) (* t a)))
30.0ms
(* j (- (* c t) (* i y)))

series923.0ms

Counts
4 → 12
Calls
4 calls:
672.0ms
(+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y))))
84.0ms
(* b (- (* c z) (* i a)))
83.0ms
(* x (- (* y z) (* t a)))
84.0ms
(* j (- (* c t) (* i y)))

simplify1.9s

Counts
141 → 141
Iterations

Useful iterations: 2 (618.0ms)

IterNodesCost
03174255
110673841
249933677
done50003677

prune732.0ms

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 2.3b

localize24.0ms

Local error

Found 4 expressions with local error:

1.3b
(fma c (* t j) (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))))
4.5b
(* b (- (* c z) (* i a)))
4.7b
(* x (- (* y z) (* t a)))
6.2b
(* j (- (* i y)))

rewrite81.0ms

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

series810.0ms

Counts
4 → 12
Calls
4 calls:
618.0ms
(fma c (* t j) (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))))
80.0ms
(* b (- (* c z) (* i a)))
77.0ms
(* x (- (* y z) (* t a)))
35.0ms
(* j (- (* i y)))

simplify831.0ms

Counts
102 → 102
Iterations

Useful iterations: done (828.0ms)

IterNodesCost
01841317
14311300
213371147
done50001143

prune549.0ms

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 2.3b

localize25.0ms

Local error

Found 4 expressions with local error:

4.5b
(* b (- (* c z) (* i a)))
4.7b
(* (* y z) x)
5.5b
(* a (* x t))
6.2b
(* j (- (* i y)))

rewrite87.0ms

Algorithm
rewrite-expression-head
Rules
18×pow1 add-exp-log add-cbrt-cube
14×add-sqr-sqrt
13×associate-*r*
10×add-cube-cbrt *-un-lft-identity associate-*l*
8×pow-prod-down prod-exp cbrt-unprod
4×expm1-log1p-u *-commutative log1p-expm1-u add-log-exp
3×distribute-rgt-in distribute-lft-in
2×sub-neg associate-*r/ prod-diff unswap-sqr
1×distribute-lft-neg-in neg-mul-1 flip3-- distribute-rgt-neg-in distribute-rgt-neg-out flip--
Counts
4 → 92
Calls
4 calls:
31.0ms
(* b (- (* c z) (* i a)))
19.0ms
(* (* y z) x)
21.0ms
(* a (* x t))
13.0ms
(* j (- (* i y)))

series182.0ms

Counts
4 → 12
Calls
4 calls:
85.0ms
(* b (- (* c z) (* i a)))
29.0ms
(* (* y z) x)
30.0ms
(* a (* x t))
38.0ms
(* j (- (* i y)))

simplify1.0s

Counts
104 → 104
Iterations

Useful iterations: 2 (219.0ms)

IterNodesCost
0182919
1430899
21519775
done5000775

prune468.0ms

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 1.7b

regimes1.2s

Accuracy

28.6% (7.4b remaining)

Error of 9.8b against oracle of 2.4b and baseline of 12.7b

bsearch193.0ms

Steps
ItersRangePoint
6
1.4468051096181518e+61
1.9185167299314341e+62
5.870049940284522e+61
7
-1.4348878627714443e+79
-8.000620166881348e+76
-8.513159297671363e+76

simplify17.0ms

Iterations

Useful iterations: 1 (4.0ms)

IterNodesCost
045118
17581
28881
38981
done8981

end0.0ms

sample2.8s

Algorithm
intervals
Results
1.4s18997×body80valid