Details

Time bar (total: 8.5s)

sample42.0ms

Algorithm
intervals
Results
19.0ms256×body80valid

simplify21.0ms

Counts
1 → 1
Iterations
IterNodes
done23
323
220
113
09

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 36.2b

localize13.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (+ (* x x) (* y y)) (* z z))
0.0b
(+ (* x x) (* y y))
33.6b
(sqrt (+ (+ (* x x) (* y y)) (* z z)))

rewrite80.0ms

Algorithm
rewrite-expression-head
Rules
10×add-log-exp
5×add-sqr-sqrt
4×pow1 sum-log *-un-lft-identity add-cube-cbrt
3×flip3-+ add-cbrt-cube add-exp-log sqrt-prod flip-+
2×+-commutative sqrt-div
1×rem-sqrt-square associate-+l+ sqrt-pow1 pow1/2
Counts
3 → 39
Calls
3 calls:
49.0ms
(+ (+ (* x x) (* y y)) (* z z))
6.0ms
(+ (* x x) (* y y))
24.0ms
(sqrt (+ (+ (* x x) (* y y)) (* z z)))

series234.0ms

Counts
3 → 9
Calls
3 calls:
54.0ms
(+ (+ (* x x) (* y y)) (* z z))
37.0ms
(+ (* x x) (* y y))
142.0ms
(sqrt (+ (+ (* x x) (* y y)) (* z z)))

simplify716.0ms

Counts
48 → 48
Iterations
IterNodes
done5000
21301
1236
074

prune337.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 17.9b

localize40.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* x x) (+ (pow y 2) (* z z)))
0.0b
(+ (pow y 2) (* z z))
6.2b
(exp (log (sqrt (+ (* x x) (+ (pow y 2) (* z z))))))
33.6b
(sqrt (+ (* x x) (+ (pow y 2) (* z z))))

rewrite135.0ms

Algorithm
rewrite-expression-head
Rules
11×add-log-exp
9×add-sqr-sqrt
8×*-un-lft-identity add-cube-cbrt
7×pow1
6×log-prod exp-prod exp-sum sqrt-prod
4×sum-log flip3-+ add-cbrt-cube sqrt-div add-exp-log flip-+
3×log-pow
2×+-commutative log-div sqrt-pow1 pow1/2 exp-diff
1×rem-sqrt-square associate-+r+ rem-exp-log
Counts
4 → 61
Calls
4 calls:
26.0ms
(+ (* x x) (+ (pow y 2) (* z z)))
12.0ms
(+ (pow y 2) (* z z))
23.0ms
(exp (log (sqrt (+ (* x x) (+ (pow y 2) (* z z))))))
72.0ms
(sqrt (+ (* x x) (+ (pow y 2) (* z z))))

series374.0ms

Counts
4 → 12
Calls
4 calls:
51.0ms
(+ (* x x) (+ (pow y 2) (* z z)))
47.0ms
(+ (pow y 2) (* z z))
122.0ms
(exp (log (sqrt (+ (* x x) (+ (pow y 2) (* z z))))))
154.0ms
(sqrt (+ (* x x) (+ (pow y 2) (* z z))))

simplify746.0ms

Counts
73 → 73
Iterations
IterNodes
done5000
21599
1285
0112

prune485.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 17.9b

localize66.0ms

Local error

Found 4 expressions with local error:

6.1b
(pow (exp (* (cbrt (log (sqrt (+ (pow x 2) (+ (pow z 2) (* y y)))))) (cbrt (log (sqrt (+ (pow x 2) (+ (pow z 2) (* y y)))))))) (cbrt (log (sqrt (+ (* x x) (+ (pow y 2) (* z z)))))))
33.6b
(sqrt (+ (* x x) (+ (pow y 2) (* z z))))
33.6b
(sqrt (+ (pow x 2) (+ (pow z 2) (* y y))))
33.6b
(sqrt (+ (pow x 2) (+ (pow z 2) (* y y))))

rewrite195.0ms

Algorithm
rewrite-expression-head
Rules
14×*-un-lft-identity
13×add-sqr-sqrt
11×sqrt-prod
10×pow1 add-cube-cbrt
9×pow-unpow
6×cbrt-prod sqrt-div
5×add-log-exp
4×sqrt-pow1 add-cbrt-cube pow1/2 add-exp-log
3×rem-sqrt-square unpow-prod-down pow-pow flip3-+ log-pow flip-+
2×distribute-lft-out
1×pow-to-exp exp-prod exp-to-pow pow-exp sqr-pow
Counts
4 → 72
Calls
4 calls:
14.0ms
(pow (exp (* (cbrt (log (sqrt (+ (pow x 2) (+ (pow z 2) (* y y)))))) (cbrt (log (sqrt (+ (pow x 2) (+ (pow z 2) (* y y)))))))) (cbrt (log (sqrt (+ (* x x) (+ (pow y 2) (* z z)))))))
46.0ms
(sqrt (+ (* x x) (+ (pow y 2) (* z z))))
65.0ms
(sqrt (+ (pow x 2) (+ (pow z 2) (* y y))))
67.0ms
(sqrt (+ (pow x 2) (+ (pow z 2) (* y y))))

series968.0ms

Counts
4 → 12
Calls
4 calls:
521.0ms
(pow (exp (* (cbrt (log (sqrt (+ (pow x 2) (+ (pow z 2) (* y y)))))) (cbrt (log (sqrt (+ (pow x 2) (+ (pow z 2) (* y y)))))))) (cbrt (log (sqrt (+ (* x x) (+ (pow y 2) (* z z)))))))
150.0ms
(sqrt (+ (* x x) (+ (pow y 2) (* z z))))
156.0ms
(sqrt (+ (pow x 2) (+ (pow z 2) (* y y))))
141.0ms
(sqrt (+ (pow x 2) (+ (pow z 2) (* y y))))

simplify659.0ms

Counts
84 → 84
Iterations
IterNodes
done5000
21339
1317
0123

prune955.0ms

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 11.3b

localize4.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify0.0ms

Counts
0 → 0
Iterations
IterNodes
done0
00

prune1.0ms

Pruning

10 alts after pruning (7 fresh and 3 done)

Merged error: 11.3b

regimes1.2s

Accuracy

47.2% (13.1b remaining)

Error of 25.7b against oracle of 12.6b and baseline of 37.4b

bsearch104.0ms

Steps
ItersRangePoint
9
1.003350963699018e+79
6.556138372450062e+84
1.494620074518022e+83
10
-2.4785981274006074e+83
-1.0305468077446537e+66
-2.4192015588722967e+83

simplify2.0ms

Iterations
IterNodes
done18
118
016

end0.0ms

sample1.0s

Algorithm
intervals
Results
647.0ms8000×body80valid