Details

Time bar (total: 22.0s)

sample222.0ms

Algorithm
intervals
Results
125.0ms592×body80valid

simplify1.8s

Counts
1 → 1
Iterations
IterNodes
done5000
4953
3290
296
143
023

prune16.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 12.0b

localize55.0ms

Local error

Found 4 expressions with local error:

0.3b
(- (* c z) (* t i))
2.7b
(* x (- (* y z) (* t a)))
5.5b
(* j (- (* c a) (* y i)))
6.6b
(* b (- (* c z) (* t i)))

rewrite105.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt
10×pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
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:
13.0ms
(- (* c z) (* t i))
38.0ms
(* x (- (* y z) (* t a)))
21.0ms
(* j (- (* c a) (* y i)))
30.0ms
(* b (- (* c z) (* t i)))

series347.0ms

Counts
4 → 12
Calls
4 calls:
56.0ms
(- (* c z) (* t i))
93.0ms
(* x (- (* y z) (* t a)))
92.0ms
(* j (- (* c a) (* y i)))
106.0ms
(* b (- (* c z) (* t i)))

simplify801.0ms

Counts
96 → 96
Iterations
IterNodes
done5001
21789
1456
0166

prune1.0s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 1.8b

localize55.0ms

Local error

Found 4 expressions with local error:

2.7b
(* x (- (* y z) (* t a)))
4.3b
(* i (- (* t b)))
4.6b
(* (* b z) c)
5.5b
(* j (- (* c a) (* y i)))

rewrite100.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt
15×pow1 add-cbrt-cube associate-*r* add-exp-log
11×*-un-lft-identity add-cube-cbrt
10×associate-*l*
6×pow-prod-down prod-exp cbrt-unprod
4×distribute-rgt-in sub-neg distribute-lft-in associate-*r/ *-commutative add-log-exp
3×unswap-sqr
2×flip3-- flip--
1×distribute-lft-neg-in neg-mul-1 distribute-rgt-neg-in distribute-rgt-neg-out
Counts
4 → 88
Calls
4 calls:
35.0ms
(* x (- (* y z) (* t a)))
10.0ms
(* i (- (* t b)))
14.0ms
(* (* b z) c)
39.0ms
(* j (- (* c a) (* y i)))

series287.0ms

Counts
4 → 12
Calls
4 calls:
108.0ms
(* x (- (* y z) (* t a)))
38.0ms
(* i (- (* t b)))
46.0ms
(* (* b z) c)
95.0ms
(* j (- (* c a) (* y i)))

simplify1.1s

Counts
100 → 100
Iterations
IterNodes
done5000
22319
1497
0182

prune1.3s

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 1.3b

localize48.0ms

Local error

Found 4 expressions with local error:

3.4b
(* (* j c) a)
4.3b
(* i (- (* t b)))
4.6b
(* (* b z) c)
6.0b
(* (* i y) (- j))

rewrite85.0ms

Algorithm
rewrite-expression-head
Rules
22×associate-*r*
21×pow1 add-cbrt-cube add-exp-log
13×add-sqr-sqrt
11×*-un-lft-identity add-cube-cbrt
10×pow-prod-down prod-exp cbrt-unprod
6×associate-*l*
4×distribute-lft-neg-in distribute-rgt-neg-in *-commutative add-log-exp
2×neg-mul-1 distribute-rgt-neg-out
1×unswap-sqr
Counts
4 → 84
Calls
4 calls:
27.0ms
(* (* j c) a)
10.0ms
(* i (- (* t b)))
21.0ms
(* (* b z) c)
22.0ms
(* (* i y) (- j))

series170.0ms

Counts
4 → 12
Calls
4 calls:
33.0ms
(* (* j c) a)
50.0ms
(* i (- (* t b)))
51.0ms
(* (* b z) c)
36.0ms
(* (* i y) (- j))

simplify1.7s

Counts
96 → 96
Iterations
IterNodes
done5000
22950
1459
0164

prune1.1s

Pruning

21 alts after pruning (21 fresh and 0 done)

Merged error: 0.0b

localize55.0ms

Local error

Found 4 expressions with local error:

3.4b
(* (* j c) a)
4.3b
(* i (- (* t b)))
4.5b
(* i (* (- j) y))
4.6b
(* (* b z) c)

rewrite120.0ms

Algorithm
rewrite-expression-head
Rules
21×pow1 add-cbrt-cube add-exp-log
13×associate-*r*
11×add-sqr-sqrt
10×pow-prod-down prod-exp cbrt-unprod
9×*-un-lft-identity add-cube-cbrt
8×associate-*l*
4×*-commutative add-log-exp
2×distribute-rgt-neg-out
1×distribute-lft-neg-out distribute-lft-neg-in neg-mul-1 distribute-rgt-neg-in unswap-sqr
Counts
4 → 77
Calls
4 calls:
28.0ms
(* (* j c) a)
19.0ms
(* i (- (* t b)))
31.0ms
(* i (* (- j) y))
38.0ms
(* (* b z) c)

series182.0ms

Counts
4 → 12
Calls
4 calls:
48.0ms
(* (* j c) a)
53.0ms
(* i (- (* t b)))
44.0ms
(* i (* (- j) y))
37.0ms
(* (* b z) c)

simplify1.3s

Counts
89 → 89
Iterations
IterNodes
done5001
22370
1409
0149

prune839.0ms

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 0.0b

regimes2.8s

Accuracy

12.4% (10.5b remaining)

Error of 11.3b against oracle of 0.8b and baseline of 12.8b

bsearch88.0ms

Steps
ItersRangePoint
3
7.219919418935071e-121
1.0492517784592938e-120
1.0255151361066598e-120

simplify25.0ms

Iterations
IterNodes
done95
395
291
177
044

end0.0ms

sample6.2s

Algorithm
intervals
Results
4.2s19366×body80valid