Details

Time bar (total: 19.9s)

sample53.0ms

Algorithm
intervals
Results
24.0ms366×body80valid

simplify6.8s

Counts
1 → 1
Iterations

Useful iterations: 3 (63.0ms)

IterNodesCost
01115
12613
28110
32419
45459
59819
613579
718519
822479
923589
done23589

prune5.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (- d2 d3) d4)
0.0b
(* d1 (- (+ (- d2 d3) d4) d1))

rewrite457.0ms

Algorithm
rewrite-expression-head
Rules
73×*-un-lft-identity
39×prod-diff
33×add-sqr-sqrt
27×add-cube-cbrt
18×distribute-rgt-in distribute-lft-in
16×distribute-lft-out
12×distribute-lft-out--
11×associate-+l+
7×associate-*r* add-log-exp
5×fma-def
4×pow1 add-exp-log add-cbrt-cube
3×sub-neg associate-*l*
2×expm1-log1p-u associate-*r/ associate--l+ sum-log log1p-expm1-u difference-of-squares
1×+-commutative associate-+l- flip3-- flip3-+ diff-log pow-prod-down prod-exp *-commutative flip-- cbrt-unprod flip-+ unswap-sqr
Counts
2 → 95
Calls
2 calls:
45.0ms
(+ (- d2 d3) d4)
403.0ms
(* d1 (- (+ (- d2 d3) d4) d1))

series97.0ms

Counts
2 → 6
Calls
2 calls:
28.0ms
(+ (- d2 d3) d4)
69.0ms
(* d1 (- (+ (- d2 d3) d4) d1))

simplify889.0ms

Counts
101 → 101
Iterations

Useful iterations: done (885.0ms)

IterNodesCost
01561671
13221340
28871076
done50001000

prune173.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (- d2 d3) d4)
0.0b
(* d1 (+ (- d2 d3) d4))

rewrite154.0ms

Algorithm
rewrite-expression-head
Rules
23×*-un-lft-identity
15×add-sqr-sqrt
11×add-cube-cbrt associate-+l+
9×prod-diff
7×add-log-exp
5×fma-def associate-*r*
4×pow1 add-exp-log add-cbrt-cube distribute-lft-out
3×associate-*l* distribute-lft-out--
2×expm1-log1p-u flip3-+ associate-*r/ sum-log flip-+ log1p-expm1-u
1×+-commutative distribute-rgt-in associate-+l- sub-neg distribute-lft-in diff-log pow-prod-down prod-exp *-commutative cbrt-unprod difference-of-squares unswap-sqr
Counts
2 → 59
Calls
2 calls:
37.0ms
(+ (- d2 d3) d4)
114.0ms
(* d1 (+ (- d2 d3) d4))

series69.0ms

Counts
2 → 6
Calls
2 calls:
22.0ms
(+ (- d2 d3) d4)
46.0ms
(* d1 (+ (- d2 d3) d4))

simplify2.3s

Counts
65 → 65
Iterations

Useful iterations: 3 (1.0s)

IterNodesCost
089559
1214512
2688420
33931418
done5000418

prune227.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize29.0ms

Local error

Found 4 expressions with local error:

0.0b
(sqrt (+ (- d2 d3) d4))
0.0b
(sqrt (+ (- d2 d3) d4))
0.1b
(* d1 (sqrt (+ (- d2 d3) d4)))
0.2b
(* (* d1 (sqrt (+ (- d2 d3) d4))) (sqrt (+ (- d2 d3) d4)))

rewrite337.0ms

Algorithm
rewrite-expression-head
Rules
31×*-un-lft-identity
21×add-sqr-sqrt sqrt-prod
18×sqrt-div
16×associate-*r*
13×pow1
11×add-exp-log add-cube-cbrt add-cbrt-cube
10×associate-*r/
9×flip3-+ flip-+
8×distribute-lft-out
4×expm1-log1p-u frac-times associate-*l* pow-prod-down prod-exp cbrt-unprod log1p-expm1-u distribute-lft-out-- add-log-exp
2×rem-sqrt-square sqrt-pow1 pow1/2 associate-*l/ *-commutative hypot-def unswap-sqr
Counts
4 → 101
Calls
4 calls:
48.0ms
(sqrt (+ (- d2 d3) d4))
40.0ms
(sqrt (+ (- d2 d3) d4))
83.0ms
(* d1 (sqrt (+ (- d2 d3) d4)))
161.0ms
(* (* d1 (sqrt (+ (- d2 d3) d4))) (sqrt (+ (- d2 d3) d4)))

series286.0ms

Counts
4 → 12
Calls
4 calls:
68.0ms
(sqrt (+ (- d2 d3) d4))
72.0ms
(sqrt (+ (- d2 d3) d4))
106.0ms
(* d1 (sqrt (+ (- d2 d3) d4)))
40.0ms
(* (* d1 (sqrt (+ (- d2 d3) d4))) (sqrt (+ (- d2 d3) d4)))

simplify2.8s

Counts
113 → 113
Iterations

Useful iterations: done (2.8s)

IterNodesCost
01311620
13331293
28931166
332711132
done50011126

prune339.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize23.0ms

Local error

Found 4 expressions with local error:

0.1b
(sqrt (sqrt (+ (- d2 d3) d4)))
0.1b
(* d1 (sqrt (+ (- d2 d3) d4)))
0.2b
(* (* (* d1 (sqrt (+ (- d2 d3) d4))) (sqrt (sqrt (+ (- d2 d3) d4)))) (sqrt (sqrt (+ (- d2 d3) d4))))
0.2b
(* (* d1 (sqrt (+ (- d2 d3) d4))) (sqrt (sqrt (+ (- d2 d3) d4))))

rewrite896.0ms

Algorithm
rewrite-expression-head
Rules
114×sqrt-div
46×sqrt-prod
36×associate-*r/
35×*-un-lft-identity flip3-+ flip-+
32×frac-times
30×associate-*r*
22×pow1
21×add-sqr-sqrt
20×add-exp-log add-cbrt-cube
16×associate-*l/
15×add-cube-cbrt
10×pow-prod-down prod-exp cbrt-unprod
8×distribute-lft-out
5×associate-*l*
4×expm1-log1p-u sqrt-pow1 log1p-expm1-u distribute-lft-out-- add-log-exp
3×*-commutative
2×rem-sqrt-square pow1/2 unswap-sqr
Counts
4 → 146
Calls
4 calls:
42.0ms
(sqrt (sqrt (+ (- d2 d3) d4)))
86.0ms
(* d1 (sqrt (+ (- d2 d3) d4)))
555.0ms
(* (* (* d1 (sqrt (+ (- d2 d3) d4))) (sqrt (sqrt (+ (- d2 d3) d4)))) (sqrt (sqrt (+ (- d2 d3) d4))))
197.0ms
(* (* d1 (sqrt (+ (- d2 d3) d4))) (sqrt (sqrt (+ (- d2 d3) d4))))

series498.0ms

Counts
4 → 12
Calls
4 calls:
165.0ms
(sqrt (sqrt (+ (- d2 d3) d4)))
97.0ms
(* d1 (sqrt (+ (- d2 d3) d4)))
49.0ms
(* (* (* d1 (sqrt (+ (- d2 d3) d4))) (sqrt (sqrt (+ (- d2 d3) d4)))) (sqrt (sqrt (+ (- d2 d3) d4))))
186.0ms
(* (* d1 (sqrt (+ (- d2 d3) d4))) (sqrt (sqrt (+ (- d2 d3) d4))))

simplify1.3s

Counts
158 → 158
Iterations

Useful iterations: done (1.3s)

IterNodesCost
02353996
16143357
218042635
done50002451

prune538.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

regimes73.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify4.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01012
11612
done1612

end0.0ms

sample1.5s

Algorithm
intervals
Results
1.0s11979×body80valid