Details

Time bar (total: 1.7m)

sample2.1s

Algorithm
intervals
Results
1.5s2490×body80valid

simplify1.4s

Counts
1 → 1
Iterations
IterNodes
done2001
42001
31712
2349
1132
063

prune18.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 25.7b

localize146.0ms

Local error

Found 4 expressions with local error:

8.7b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
8.9b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
10.0b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
10.2b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

rewrite214.0ms

Algorithm
rewrite-expression-head
Rules
24×flip3-- flip--
20×add-sqr-sqrt
16×frac-times
12×pow1 *-un-lft-identity add-cbrt-cube associate-*r* associate-*l* add-exp-log add-cube-cbrt
8×distribute-rgt-in sub-neg distribute-lft-in associate-*l/ associate-*r/
4×pow-prod-down prod-exp *-commutative cbrt-unprod insert-posit16 add-log-exp unswap-sqr
Counts
4 → 124
Calls
4 calls:
72.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
45.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
40.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
54.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

series927.0ms

Counts
4 → 12
Calls
4 calls:
179.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
209.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
262.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
278.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

simplify804.0ms

Counts
136 → 136
Iterations
IterNodes
done2000
22000
11117
0347

prune3.4s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 16.4b

localize191.0ms

Local error

Found 4 expressions with local error:

8.9b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
8.9b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
10.0b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
10.2b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

rewrite200.0ms

Algorithm
rewrite-expression-head
Rules
24×flip3-- flip--
20×add-sqr-sqrt
16×frac-times
12×pow1 *-un-lft-identity add-cbrt-cube associate-*r* associate-*l* add-exp-log add-cube-cbrt
8×distribute-rgt-in sub-neg distribute-lft-in associate-*l/ associate-*r/
4×pow-prod-down prod-exp *-commutative cbrt-unprod insert-posit16 add-log-exp unswap-sqr
Counts
4 → 124
Calls
4 calls:
40.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
41.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
39.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
78.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

series896.0ms

Counts
4 → 12
Calls
4 calls:
225.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
241.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
225.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
204.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

simplify958.0ms

Counts
136 → 136
Iterations
IterNodes
done2000
22000
1853
0265

prune3.5s

Pruning

19 alts after pruning (18 fresh and 1 done)

Merged error: 16.4b

localize219.0ms

Local error

Found 4 expressions with local error:

8.0b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
8.9b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
10.0b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
10.2b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

rewrite164.0ms

Algorithm
rewrite-expression-head
Rules
24×flip3-- flip--
20×add-sqr-sqrt
16×frac-times
12×pow1 *-un-lft-identity add-cbrt-cube associate-*r* associate-*l* add-exp-log add-cube-cbrt
8×distribute-rgt-in sub-neg distribute-lft-in associate-*l/ associate-*r/
4×pow-prod-down prod-exp *-commutative cbrt-unprod insert-posit16 add-log-exp unswap-sqr
Counts
4 → 124
Calls
4 calls:
40.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
40.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
40.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
42.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

series756.0ms

Counts
4 → 12
Calls
4 calls:
205.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
185.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
183.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
183.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

simplify1.0s

Counts
136 → 136
Iterations
IterNodes
done2002
22002
11115
0345

prune3.8s

Pruning

22 alts after pruning (21 fresh and 1 done)

Merged error: 15.8b

localize200.0ms

Local error

Found 4 expressions with local error:

8.0b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
8.7b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
10.0b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
10.2b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

rewrite217.0ms

Algorithm
rewrite-expression-head
Rules
24×flip3-- flip--
20×add-sqr-sqrt
16×frac-times
12×pow1 *-un-lft-identity add-cbrt-cube associate-*r* associate-*l* add-exp-log add-cube-cbrt
8×distribute-rgt-in sub-neg distribute-lft-in associate-*l/ associate-*r/
4×pow-prod-down prod-exp *-commutative cbrt-unprod insert-posit16 add-log-exp unswap-sqr
Counts
4 → 124
Calls
4 calls:
58.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
59.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
53.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
46.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

series866.0ms

Counts
4 → 12
Calls
4 calls:
211.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
215.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
226.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
214.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

simplify991.0ms

Counts
136 → 136
Iterations
IterNodes
done2000
22000
11114
0345

prune3.0s

Pruning

21 alts after pruning (20 fresh and 1 done)

Merged error: 15.8b

regimes9.2s

Accuracy

-36.2% (13.1b remaining)

Error of 28.6b against oracle of 15.5b and baseline of 25.1b

bsearch3.0s

Steps
ItersRangePoint
7
6.328726943787021e-86
4.477036425685187e-84
2.572726652319361e-85
3
1.4342862883596812e-117
1.8528442688477718e-117
1.5590799565832696e-117
4
-6.898353415382508e-112
-3.7070598295837853e-112
-4.1054470739167587e-112
6
-2.1583427215567847e-45
-4.868821923640788e-46
-2.1348004490509246e-45

simplify68.0ms

Iterations
IterNodes
done165
1165
0108

end0.0ms

sample1.0m

Algorithm
intervals
Results
51.4s71643×body80valid