Details

Time bar (total: 15.2s)

sample98.0ms

Algorithm
intervals
Results
51.0ms625×body80valid

simplify3.5s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02329
14329
29629
324829
462529
5157929
6373129
done500029

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 14.4b

localize21.0ms

Local error

Found 4 expressions with local error:

0.2b
(- (* y z) (* t a))
5.2b
(* b (- (* c z) (* i a)))
5.4b
(* j (- (* c t) (* i y)))
6.5b
(* x (- (* y z) (* t a)))

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt
10×pow1 add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube
9×associate-*r* associate-*l*
7×sub-neg
6×distribute-rgt-in distribute-lft-in associate-*r/ add-log-exp
4×flip3-- flip--
3×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
1×diff-log
Counts
4 → 84
Calls
4 calls:
3.0ms
(- (* y z) (* t a))
10.0ms
(* b (- (* c z) (* i a)))
9.0ms
(* j (- (* c t) (* i y)))
9.0ms
(* x (- (* y z) (* t a)))

series242.0ms

Counts
4 → 12
Calls
4 calls:
37.0ms
(- (* y z) (* t a))
67.0ms
(* b (- (* c z) (* i a)))
68.0ms
(* j (- (* c t) (* i y)))
69.0ms
(* x (- (* y z) (* t a)))

simplify1.5s

Counts
96 → 96
Iterations

Useful iterations: 2 (137.0ms)

IterNodesCost
01661155
14211141
211761007
339161007
done50001007

prune414.0ms

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 4.2b

localize26.0ms

Local error

Found 4 expressions with local error:

5.2b
(* b (- (* c z) (* i a)))
6.5b
(* x (- (* y z) (* t a)))
6.7b
(* i (* j y))
7.0b
(* t (* j c))

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
18×pow1 add-exp-log add-cbrt-cube
14×add-sqr-sqrt
12×associate-*l*
10×add-cube-cbrt *-un-lft-identity
8×associate-*r* pow-prod-down prod-exp cbrt-unprod
4×distribute-rgt-in sub-neg distribute-lft-in associate-*r/ *-commutative add-log-exp
2×flip3-- flip-- unswap-sqr
Counts
4 → 84
Calls
4 calls:
9.0ms
(* b (- (* c z) (* i a)))
9.0ms
(* x (- (* y z) (* t a)))
6.0ms
(* i (* j y))
6.0ms
(* t (* j c))

series183.0ms

Counts
4 → 12
Calls
4 calls:
66.0ms
(* b (- (* c z) (* i a)))
65.0ms
(* x (- (* y z) (* t a)))
28.0ms
(* i (* j y))
25.0ms
(* t (* j c))

simplify1.8s

Counts
96 → 96
Iterations

Useful iterations: 3 (822.0ms)

IterNodesCost
0171958
1436946
21322812
34562806
done5000806

prune403.0ms

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 4.1b

localize22.0ms

Local error

Found 4 expressions with local error:

4.7b
(* (* t j) c)
5.2b
(* b (- (* c z) (* i a)))
6.5b
(* x (- (* y z) (* t a)))
6.7b
(* i (* j y))

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
18×pow1 add-exp-log add-cbrt-cube
14×add-sqr-sqrt
10×add-cube-cbrt *-un-lft-identity associate-*r* associate-*l*
8×pow-prod-down prod-exp cbrt-unprod
4×distribute-rgt-in sub-neg distribute-lft-in associate-*r/ *-commutative add-log-exp
2×flip3-- flip-- unswap-sqr
Counts
4 → 84
Calls
4 calls:
6.0ms
(* (* t j) c)
10.0ms
(* b (- (* c z) (* i a)))
9.0ms
(* x (- (* y z) (* t a)))
6.0ms
(* i (* j y))

series189.0ms

Counts
4 → 12
Calls
4 calls:
29.0ms
(* (* t j) c)
68.0ms
(* b (- (* c z) (* i a)))
64.0ms
(* x (- (* y z) (* t a)))
27.0ms
(* i (* j y))

simplify967.0ms

Counts
96 → 96
Iterations

Useful iterations: 2 (180.0ms)

IterNodesCost
0174961
1444947
21443807
done5001807

prune418.0ms

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 4.1b

localize26.0ms

Local error

Found 4 expressions with local error:

4.2b
(* (* (cbrt i) (cbrt i)) (* (cbrt i) (* j y)))
4.7b
(* (* t j) c)
5.2b
(* b (- (* c z) (* i a)))
6.5b
(* x (- (* y z) (* t a)))

rewrite56.0ms

Algorithm
rewrite-expression-head
Rules
34×pow1 add-exp-log
24×add-cbrt-cube
20×pow-prod-down prod-exp cbrt-unprod
13×add-sqr-sqrt
10×associate-*r*
9×add-cube-cbrt *-un-lft-identity
8×associate-*l*
4×distribute-rgt-in sub-neg distribute-lft-in associate-*r/ *-commutative add-log-exp
2×flip3-- flip-- unswap-sqr
Counts
4 → 94
Calls
4 calls:
25.0ms
(* (* (cbrt i) (cbrt i)) (* (cbrt i) (* j y)))
6.0ms
(* (* t j) c)
9.0ms
(* b (- (* c z) (* i a)))
13.0ms
(* x (- (* y z) (* t a)))

series406.0ms

Counts
4 → 12
Calls
4 calls:
49.0ms
(* (* (cbrt i) (cbrt i)) (* (cbrt i) (* j y)))
26.0ms
(* (* t j) c)
260.0ms
(* b (- (* c z) (* i a)))
70.0ms
(* x (- (* y z) (* t a)))

simplify927.0ms

Counts
106 → 106
Iterations

Useful iterations: done (924.0ms)

IterNodesCost
01921292
15171266
21767968
done5000964

prune397.0ms

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 4.1b

regimes1.0s

Accuracy

13.9% (7.9b remaining)

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

bsearch220.0ms

Steps
ItersRangePoint
9
2.039107012811407e-155
5.525767292787017e-148
1.419491066943148e-153
7
-1.3082634032399354e+36
-4.18080570056815e+34
-5.710542496751218e+34

simplify20.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
049110
190110
2116110
3117110
done117110

end0.0ms

sample2.2s

Algorithm
intervals
Results
1.2s19171×body80valid