Details

Time bar (total: 22.2s)

sample231.0ms

Algorithm
intervals
Results
67.0ms56×body1280valid
47.0ms40×body10240exit
32.0ms51×body640valid
15.0ms100×body80valid
11.0ms4×body2560valid
11.0ms26×body320valid
8.0ms78×body80nan
6.0ms19×body160valid
4.0ms11×body320nan
3.0ms6×body640nan
1.0ms1×body1280nan
1.0ms3×body160nan

simplify985.0ms

Counts
1 → 1
Iterations
IterNodes
done1003
131003
12987
11946
10655
9480
8315
7255
6199
5118
466
348
233
120
012

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 26.7b

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b
(* y (exp z))
0.0b
(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
2.2b
(log (+ (- 1.0 y) (* y (exp z))))
2.9b
(+ (- 1.0 y) (* y (exp z)))

rewrite102.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt
16×*-un-lft-identity add-cube-cbrt
12×times-frac
11×pow1
9×add-log-exp
8×add-cbrt-cube add-exp-log
5×log-pow
4×log-div insert-posit16 associate-/l*
3×log-prod associate-/r* flip3-+ associate-*r* associate-*l* flip-+
2×associate-+l+ sum-log div-sub
1×cbrt-undiv +-commutative clear-num sub-neg frac-2neg diff-log div-exp rem-log-exp pow-prod-down prod-exp *-commutative associate-+l- cbrt-unprod div-inv unswap-sqr
Counts
4 → 84
Calls
4 calls:
12.0ms
(* y (exp z))
52.0ms
(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
14.0ms
(log (+ (- 1.0 y) (* y (exp z))))
23.0ms
(+ (- 1.0 y) (* y (exp z)))

series416.0ms

Counts
4 → 12
Calls
4 calls:
33.0ms
(* y (exp z))
230.0ms
(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
109.0ms
(log (+ (- 1.0 y) (* y (exp z))))
43.0ms
(+ (- 1.0 y) (* y (exp z)))

simplify1.4s

Counts
96 → 96
Iterations
IterNodes
done5002
21435
1467
0201

prune574.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 4.2b

localize37.0ms

Local error

Found 4 expressions with local error:

0.8b
(/ 0.5 (/ t (* z (* z y))))
4.9b
(+ (/ (* (* y z) 1.0) t) (+ (/ 0.5 (/ t (* z (* z y)))) (/ (log 1.0) t)))
6.2b
(/ (* (* y z) 1.0) t)
7.2b
(/ t (* z (* z y)))

rewrite239.0ms

Algorithm
rewrite-expression-head
Rules
39×times-frac
36×add-cbrt-cube add-exp-log
29×*-un-lft-identity
24×add-sqr-sqrt add-cube-cbrt
13×cbrt-undiv div-exp
11×associate-/r*
9×prod-exp cbrt-unprod add-log-exp
7×div-inv associate-/l*
4×pow1 frac-add insert-posit16
3×clear-num sum-log frac-2neg distribute-lft-out
2×flip3-+ flip-+
1×+-commutative associate-+r+ associate-/r/
Counts
4 → 118
Calls
4 calls:
28.0ms
(/ 0.5 (/ t (* z (* z y))))
171.0ms
(+ (/ (* (* y z) 1.0) t) (+ (/ 0.5 (/ t (* z (* z y)))) (/ (log 1.0) t)))
25.0ms
(/ (* (* y z) 1.0) t)
12.0ms
(/ t (* z (* z y)))

series219.0ms

Counts
4 → 12
Calls
4 calls:
36.0ms
(/ 0.5 (/ t (* z (* z y))))
129.0ms
(+ (/ (* (* y z) 1.0) t) (+ (/ 0.5 (/ t (* z (* z y)))) (/ (log 1.0) t)))
30.0ms
(/ (* (* y z) 1.0) t)
24.0ms
(/ t (* z (* z y)))

simplify1.9s

Counts
130 → 130
Iterations
IterNodes
done5013
23322
1722
0242

prune774.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 3.4b

localize35.0ms

Local error

Found 4 expressions with local error:

0.8b
(/ 0.5 (/ t (* z (* z y))))
4.9b
(+ (* (* y z) (/ 1.0 t)) (+ (/ 0.5 (/ t (* z (* z y)))) (/ (log 1.0) t)))
6.3b
(* (* y z) (/ 1.0 t))
7.2b
(/ t (* z (* z y)))

rewrite197.0ms

Algorithm
rewrite-expression-head
Rules
45×times-frac
39×add-cbrt-cube add-exp-log
29×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
13×associate-*r*
12×cbrt-undiv div-exp prod-exp cbrt-unprod
9×pow1 add-log-exp
8×associate-/r*
7×div-inv
6×associate-/l*
4×frac-add associate-*r/ insert-posit16
3×sum-log pow-prod-down
2×clear-num frac-2neg flip3-+ flip-+
1×+-commutative associate-+r+ associate-*l* associate-/r/ *-commutative
Counts
4 → 126
Calls
4 calls:
29.0ms
(/ 0.5 (/ t (* z (* z y))))
136.0ms
(+ (* (* y z) (/ 1.0 t)) (+ (/ 0.5 (/ t (* z (* z y)))) (/ (log 1.0) t)))
17.0ms
(* (* y z) (/ 1.0 t))
13.0ms
(/ t (* z (* z y)))

series241.0ms

Counts
4 → 12
Calls
4 calls:
54.0ms
(/ 0.5 (/ t (* z (* z y))))
116.0ms
(+ (* (* y z) (/ 1.0 t)) (+ (/ 0.5 (/ t (* z (* z y)))) (/ (log 1.0) t)))
32.0ms
(* (* y z) (/ 1.0 t))
37.0ms
(/ t (* z (* z y)))

simplify1.7s

Counts
138 → 138
Iterations
IterNodes
done5023
23560
1782
0258

prune843.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 3.4b

localize55.0ms

Local error

Found 4 expressions with local error:

0.8b
(/ 0.5 (/ t (* z (* z y))))
3.2b
(* y (* z (/ 1.0 t)))
4.9b
(+ (* y (* z (/ 1.0 t))) (+ (/ 0.5 (/ t (* z (* z y)))) (/ (log 1.0) t)))
7.2b
(/ t (* z (* z y)))

rewrite241.0ms

Algorithm
rewrite-expression-head
Rules
36×times-frac add-cbrt-cube add-exp-log
23×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
11×cbrt-undiv div-exp prod-exp cbrt-unprod
9×pow1 add-log-exp
8×associate-/r* associate-*r/
6×div-inv associate-/l*
4×frac-add insert-posit16
3×sum-log associate-*l* pow-prod-down
2×clear-num frac-2neg flip3-+ flip-+
1×+-commutative associate-+r+ associate-*r* associate-/r/ *-commutative
Counts
4 → 114
Calls
4 calls:
22.0ms
(/ 0.5 (/ t (* z (* z y))))
23.0ms
(* y (* z (/ 1.0 t)))
174.0ms
(+ (* y (* z (/ 1.0 t))) (+ (/ 0.5 (/ t (* z (* z y)))) (/ (log 1.0) t)))
20.0ms
(/ t (* z (* z y)))

series322.0ms

Counts
4 → 12
Calls
4 calls:
59.0ms
(/ 0.5 (/ t (* z (* z y))))
42.0ms
(* y (* z (/ 1.0 t)))
183.0ms
(+ (* y (* z (/ 1.0 t))) (+ (/ 0.5 (/ t (* z (* z y)))) (/ (log 1.0) t)))
37.0ms
(/ t (* z (* z y)))

simplify1.5s

Counts
126 → 126
Iterations
IterNodes
done5001
23030
1694
0237

prune739.0ms

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 3.4b

regimes921.0ms

Accuracy

69.1% (4.7b remaining)

Error of 8.1b against oracle of 3.4b and baseline of 18.7b

bsearch215.0ms

Steps
ItersRangePoint
5
9.841725025012944e-139
2.5397497498267892e-138
2.5098281878527637e-138
8
-8098743939100131.0
-789933810286.599
-804280505547.8507

simplify16.0ms

Iterations
IterNodes
done58
158
042

end0.0ms

sample8.2s

Algorithm
intervals
Results
2.3s1521×body10240exit
2.2s1496×body1280valid
1.2s1546×body640valid
592.0ms3566×body80valid
464.0ms857×body320valid
318.0ms2568×body80nan
204.0ms95×body2560valid
145.0ms288×body640nan
125.0ms465×body160valid
95.0ms203×body320nan
65.0ms98×body1280nan
40.0ms110×body160nan