Details

Time bar (total: 19.6s)

sample147.0ms

Algorithm
intervals
Results
88.0ms565×body80valid

simplify1.0s

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

prune15.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 12.7b

localize47.0ms

Local error

Found 4 expressions with local error:

0.3b
(- (* t i) (* z c))
4.1b
(* (- (* t i) (* z c)) b)
4.5b
(* j (- (* a c) (* y i)))
6.6b
(* (- (* z y) (* t a)) x)

rewrite79.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*
6×add-log-exp
4×flip3-- associate-*l/ flip--
3×sub-neg pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
2×distribute-rgt-in distribute-lft-in associate-*r/
1×diff-log
Counts
4 → 76
Calls
4 calls:
6.0ms
(- (* t i) (* z c))
28.0ms
(* (- (* t i) (* z c)) b)
25.0ms
(* j (- (* a c) (* y i)))
19.0ms
(* (- (* z y) (* t a)) x)

series301.0ms

Counts
4 → 12
Calls
4 calls:
54.0ms
(- (* t i) (* z c))
73.0ms
(* (- (* t i) (* z c)) b)
110.0ms
(* j (- (* a c) (* y i)))
64.0ms
(* (- (* z y) (* t a)) x)

simplify702.0ms

Counts
88 → 88
Iterations
IterNodes
done5001
21661
1418
0155

prune981.0ms

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 3.0b

localize102.0ms

Local error

Found 4 expressions with local error:

4.1b
(* (- (* t i) (* z c)) b)
4.3b
(* (* x a) t)
4.5b
(* j (- (* a c) (* y i)))
5.1b
(* z (* y x))

rewrite105.0ms

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

series275.0ms

Counts
4 → 12
Calls
4 calls:
78.0ms
(* (- (* t i) (* z c)) b)
42.0ms
(* (* x a) t)
121.0ms
(* j (- (* a c) (* y i)))
33.0ms
(* z (* y x))

simplify1.0s

Counts
92 → 92
Iterations
IterNodes
done5001
22108
1453
0168

prune1.1s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 1.1b

localize60.0ms

Local error

Found 4 expressions with local error:

3.7b
(* j (* (- y) i))
4.1b
(* (- (* t i) (* z c)) b)
5.6b
(* a (* c j))
6.6b
(* (- (* z y) (* t a)) x)

rewrite127.0ms

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

series287.0ms

Counts
4 → 12
Calls
4 calls:
45.0ms
(* j (* (- y) i))
94.0ms
(* (- (* t i) (* z c)) b)
44.0ms
(* a (* c j))
103.0ms
(* (- (* z y) (* t a)) x)

simplify936.0ms

Counts
89 → 89
Iterations
IterNodes
done5001
21892
1443
0167

prune1.1s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 0.8b

localize72.0ms

Local error

Found 4 expressions with local error:

4.1b
(* (- (* t i) (* z c)) b)
4.2b
(* y (* x z))
5.6b
(* a (* c j))
6.4b
(* (* t x) a)

rewrite101.0ms

Algorithm
rewrite-expression-head
Rules
21×pow1 add-cbrt-cube add-exp-log
11×add-sqr-sqrt
10×associate-*l* pow-prod-down prod-exp cbrt-unprod
9×*-un-lft-identity add-cube-cbrt
8×associate-*r*
4×*-commutative add-log-exp
2×associate-*l/
1×flip3-- flip-- unswap-sqr
Counts
4 → 74
Calls
4 calls:
19.0ms
(* (- (* t i) (* z c)) b)
20.0ms
(* y (* x z))
24.0ms
(* a (* c j))
37.0ms
(* (* t x) a)

series204.0ms

Counts
4 → 12
Calls
4 calls:
93.0ms
(* (- (* t i) (* z c)) b)
32.0ms
(* y (* x z))
30.0ms
(* a (* c j))
48.0ms
(* (* t x) a)

simplify1.0s

Counts
86 → 86
Iterations
IterNodes
done5000
21923
1396
0151

prune825.0ms

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 0.8b

regimes3.0s

Accuracy

10.3% (10.7b remaining)

Error of 11.2b against oracle of 0.6b and baseline of 12.5b

bsearch887.0ms

Steps
ItersRangePoint
5
1.0694342807109151e+129
2.6639540133814442e+129
1.7978416903879968e+129
9
7.396020325028071e-29
3.270337249629519e-22
1.7086915451769344e-27
6
2.3227454427546907e-83
2.2847728972552423e-82
1.4293235277702936e-82
8
-4.52537521435225e-232
-4.475739730683857e-235
-1.5643374811637018e-232
7
-5.795313909285432e-172
-6.314320664319136e-174
-7.867962692305982e-174
6
-30276867.749150526
-6528324.991522779
-22910070.91652174

simplify562.0ms

Iterations
IterNodes
done165
3165
2157
1147
090

end0.0ms

sample4.4s

Algorithm
intervals
Results
3.2s19345×body80valid