Details

Time bar (total: 13.5s)

sample30.0ms

Algorithm
intervals
Results
12.0ms267×body80valid

simplify9.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01115
11515
done1515

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 25.7b

localize28.0ms

Local error

Found 2 expressions with local error:

0.2b
(+ (* a c) (* b d))
25.3b
(/ (+ (* a c) (* b d)) (+ (* c c) (* d d)))

rewrite88.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
9×times-frac
4×add-exp-log add-cbrt-cube add-log-exp
3×flip3-+ associate-/r* flip-+ associate-/l*
2×pow1 associate-/r/ associate-/l/
1×cbrt-undiv +-commutative frac-2neg div-exp clear-num sum-log div-inv
Counts
2 → 42
Calls
2 calls:
15.0ms
(+ (* a c) (* b d))
71.0ms
(/ (+ (* a c) (* b d)) (+ (* c c) (* d d)))

series169.0ms

Counts
2 → 6
Calls
2 calls:
43.0ms
(+ (* a c) (* b d))
126.0ms
(/ (+ (* a c) (* b d)) (+ (* c c) (* d d)))

simplify2.3s

Counts
48 → 48
Iterations

Useful iterations: 3 (807.0ms)

IterNodesCost
085924
1237906
2883826
33898820
done5001820

prune334.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 25.1b

localize41.0ms

Local error

Found 4 expressions with local error:

0.2b
(+ (* a c) (* d b))
13.5b
(/ (+ (* a c) (* d b)) (sqrt (+ (* c c) (* d d))))
30.3b
(sqrt (+ (* c c) (* d d)))
30.3b
(sqrt (+ (* c c) (* d d)))

rewrite87.0ms

Algorithm
rewrite-expression-head
Rules
23×add-sqr-sqrt
21×add-cube-cbrt *-un-lft-identity
18×times-frac sqrt-prod
6×pow1 add-exp-log sqrt-div associate-/r* add-cbrt-cube add-log-exp
5×flip3-+ flip-+
3×associate-/l*
2×rem-sqrt-square sqrt-pow1 pow1/2 associate-/r/ associate-/l/
1×cbrt-undiv +-commutative frac-2neg div-exp clear-num sum-log div-inv
Counts
4 → 84
Calls
4 calls:
9.0ms
(+ (* a c) (* d b))
57.0ms
(/ (+ (* a c) (* d b)) (sqrt (+ (* c c) (* d d))))
9.0ms
(sqrt (+ (* c c) (* d d)))
9.0ms
(sqrt (+ (* c c) (* d d)))

series311.0ms

Counts
4 → 12
Calls
4 calls:
48.0ms
(+ (* a c) (* d b))
161.0ms
(/ (+ (* a c) (* d b)) (sqrt (+ (* c c) (* d d))))
53.0ms
(sqrt (+ (* c c) (* d d)))
49.0ms
(sqrt (+ (* c c) (* d d)))

simplify717.0ms

Counts
96 → 96
Iterations

Useful iterations: 2 (132.0ms)

IterNodesCost
01141780
12781649
210171541
done50001541

prune653.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 23.3b

localize35.0ms

Local error

Found 4 expressions with local error:

0.2b
(+ (* d b) (* a c))
13.5b
(/ (sqrt (+ (* c c) (* d d))) (+ (* d b) (* a c)))
30.3b
(sqrt (+ (* c c) (* d d)))
30.3b
(sqrt (+ (* c c) (* d d)))

rewrite86.0ms

Algorithm
rewrite-expression-head
Rules
23×add-sqr-sqrt
21×add-cube-cbrt *-un-lft-identity
18×times-frac sqrt-prod
6×pow1 add-exp-log sqrt-div add-cbrt-cube associate-/l* add-log-exp
5×flip3-+ flip-+
3×associate-/r*
2×rem-sqrt-square sqrt-pow1 pow1/2 associate-/r/ associate-/l/
1×cbrt-undiv +-commutative frac-2neg div-exp clear-num sum-log div-inv
Counts
4 → 84
Calls
4 calls:
24.0ms
(+ (* d b) (* a c))
26.0ms
(/ (sqrt (+ (* c c) (* d d))) (+ (* d b) (* a c)))
14.0ms
(sqrt (+ (* c c) (* d d)))
17.0ms
(sqrt (+ (* c c) (* d d)))

series285.0ms

Counts
4 → 12
Calls
4 calls:
61.0ms
(+ (* d b) (* a c))
134.0ms
(/ (sqrt (+ (* c c) (* d d))) (+ (* d b) (* a c)))
42.0ms
(sqrt (+ (* c c) (* d d)))
48.0ms
(sqrt (+ (* c c) (* d d)))

simplify2.0s

Counts
96 → 96
Iterations

Useful iterations: 3 (972.0ms)

IterNodesCost
01131774
12681656
28401556
328501540
done50001540

prune476.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 23.3b

localize24.0ms

Local error

Found 4 expressions with local error:

0.2b
(+ (* a c) (* d b))
13.6b
(* (+ (* a c) (* d b)) (/ 1 (sqrt (+ (* c c) (* d d)))))
30.3b
(sqrt (+ (* c c) (* d d)))
30.3b
(sqrt (+ (* c c) (* d d)))

rewrite123.0ms

Algorithm
rewrite-expression-head
Rules
34×add-sqr-sqrt
24×associate-*r*
22×*-un-lft-identity times-frac
20×add-cube-cbrt
17×sqrt-prod
13×add-exp-log
9×add-cbrt-cube
8×pow1
6×flip3-+ sqrt-div flip-+ add-log-exp
5×unswap-sqr
4×prod-exp
3×associate-*l*
2×frac-times rem-sqrt-square sqrt-pow1 pow1/2 div-exp associate-*l/ associate-/r/ cbrt-unprod
1×cbrt-undiv +-commutative rec-exp 1-exp associate-*r/ pow-prod-down sum-log un-div-inv *-commutative div-inv
Counts
4 → 94
Calls
4 calls:
15.0ms
(+ (* a c) (* d b))
71.0ms
(* (+ (* a c) (* d b)) (/ 1 (sqrt (+ (* c c) (* d d)))))
20.0ms
(sqrt (+ (* c c) (* d d)))
11.0ms
(sqrt (+ (* c c) (* d d)))

series330.0ms

Counts
4 → 12
Calls
4 calls:
47.0ms
(+ (* a c) (* d b))
179.0ms
(* (+ (* a c) (* d b)) (/ 1 (sqrt (+ (* c c) (* d d)))))
48.0ms
(sqrt (+ (* c c) (* d d)))
57.0ms
(sqrt (+ (* c c) (* d d)))

simplify3.5s

Counts
106 → 106
Iterations

Useful iterations: done (3.5s)

IterNodesCost
01431886
14061701
223051478
done50021474

prune510.0ms

Pruning

9 alts after pruning (6 fresh and 3 done)

Merged error: 23.3b

regimes387.0ms

Accuracy

0% (2.9b remaining)

Error of 25.9b against oracle of 22.9b and baseline of 25.9b

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01527
12127
done2127

end0.0ms

sample1.1s

Algorithm
intervals
Results
653.0ms8517×body80valid