Details

Time bar (total: 27.9s)

sample791.0ms

Algorithm
intervals
Results
454.0ms58×body640valid
248.0ms126×body1280valid
27.0ms256×pre80true
16.0ms22×body320valid
10.0ms39×body80valid
7.0ms11×body160valid

simplify2.1s

Counts
1 → 1
Iterations
IterNodes
done2000
1121986
1111968
1101953
1091937
1081917
1071903
1061888
1051870
1041854
1031840
1021823
1011807
1001791
991771
981756
971740
961720
951706
941691
931673
921657
911643
901626
891610
881594
871574
861559
851543
841521
831507
821492
811474
801458
791444
781427
771411
761395
751377
741362
731346
721324
711310
701295
691277
681261
671247
661230
651214
641198
631178
621163
611147
601127
591113
581098
571080
561064
551050
541033
531017
521001
51983
50968
49952
48932
47918
46903
45885
44869
43855
42838
41822
40806
39786
38771
37755
36733
35719
34704
33686
32670
31656
30639
29623
28607
27587
26572
25556
24534
23520
22505
21487
20471
19457
18440
17424
16408
15386
14370
13360
12330
11270
10178
9126
893
778
658
546
435
329
222
115
09

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 13.1b

localize19.0ms

Local error

Found 3 expressions with local error:

0.1b
(+ x (- (tan (+ y z)) (tan a)))
0.2b
(- (tan (+ y z)) (tan a))
2.3b
(tan (+ y z))

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
10×*-un-lft-identity add-log-exp
5×add-sqr-sqrt
4×tan-quot
3×pow1 add-cbrt-cube add-exp-log add-cube-cbrt insert-posit16
2×tan-sum associate-+r+ sum-log sub-neg diff-log frac-sub distribute-lft-out distribute-lft-out--
1×+-commutative associate-+r- flip3-+ flip3-- flip-+ flip-- difference-of-squares
Counts
3 → 45
Calls
3 calls:
12.0ms
(+ x (- (tan (+ y z)) (tan a)))
18.0ms
(- (tan (+ y z)) (tan a))
5.0ms
(tan (+ y z))

series395.0ms

Counts
3 → 9
Calls
3 calls:
147.0ms
(+ x (- (tan (+ y z)) (tan a)))
163.0ms
(- (tan (+ y z)) (tan a))
85.0ms
(tan (+ y z))

simplify911.0ms

Counts
54 → 54
Iterations
IterNodes
done2000
31509
2472
1200
094

prune323.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.1b

localize32.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z))))
0.1b
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
0.2b
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))
0.2b
(* (tan y) (tan z))

rewrite229.0ms

Algorithm
rewrite-expression-head
Rules
30×*-un-lft-identity
22×add-sqr-sqrt
15×add-cube-cbrt
13×times-frac
11×add-log-exp
8×add-cbrt-cube add-exp-log
7×tan-quot
6×pow1 distribute-lft-out
4×insert-posit16 associate-/l*
3×associate-/r* associate-*r* associate-*l* associate-/l/
2×associate-+r+ sum-log sub-neg flip3-+ flip3-- diff-log associate-/r/ flip-+ flip-- distribute-lft-out-- difference-of-squares
1×frac-times cbrt-undiv +-commutative clear-num associate-+r- frac-2neg div-exp pow-prod-down associate-*l/ frac-add prod-exp associate-*r/ *-commutative frac-sub cbrt-unprod div-inv unswap-sqr
Counts
4 → 94
Calls
4 calls:
31.0ms
(/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z))))
118.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
64.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))
14.0ms
(* (tan y) (tan z))

series1.4s

Counts
4 → 12
Calls
4 calls:
284.0ms
(/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z))))
478.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
470.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))
128.0ms
(* (tan y) (tan z))

simplify885.0ms

Counts
106 → 106
Iterations
IterNodes
done2004
21296
1458
0193

prune684.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize70.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (sin y) (cos z))
0.2b
(* (cos y) (sin z))
0.2b
(* (tan y) (tan z))
0.3b
(/ (+ (* (sin y) (cos z)) (* (cos y) (sin z))) (* (- 1 (* (tan y) (tan z))) (* (cos y) (cos z))))

rewrite114.0ms

Algorithm
rewrite-expression-head
Rules
19×add-cbrt-cube add-exp-log
18×add-sqr-sqrt
12×*-un-lft-identity add-cube-cbrt
10×pow1
9×associate-*r* associate-*l*
6×prod-exp cbrt-unprod
5×associate-/r/
4×tan-quot insert-posit16 add-log-exp
3×frac-times cbrt-undiv times-frac div-exp pow-prod-down associate-*l/ cos-mult *-commutative associate-/l* unswap-sqr
2×flip3-- associate-*r/ flip-- associate-/l/
1×clear-num associate-/r* frac-2neg flip3-+ flip-+ div-inv sin-cos-mult
Counts
4 → 92
Calls
4 calls:
20.0ms
(* (sin y) (cos z))
15.0ms
(* (cos y) (sin z))
14.0ms
(* (tan y) (tan z))
64.0ms
(/ (+ (* (sin y) (cos z)) (* (cos y) (sin z))) (* (- 1 (* (tan y) (tan z))) (* (cos y) (cos z))))

series583.0ms

Counts
4 → 12
Calls
4 calls:
48.0ms
(* (sin y) (cos z))
50.0ms
(* (cos y) (sin z))
119.0ms
(* (tan y) (tan z))
365.0ms
(/ (+ (* (sin y) (cos z)) (* (cos y) (sin z))) (* (- 1 (* (tan y) (tan z))) (* (cos y) (cos z))))

simplify509.0ms

Counts
104 → 104
Iterations
IterNodes
done2000
1567
0216

prune969.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize121.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ (sin z) (* (cos z) (- 1 (/ (* (sin z) (sin y)) (* (cos y) (cos z))))))
0.2b
(/ (sin y) (* (cos y) (- 1 (/ (* (sin z) (sin y)) (* (cos y) (cos z))))))
0.3b
(/ (* (sin z) (sin y)) (* (cos y) (cos z)))
0.3b
(/ (* (sin z) (sin y)) (* (cos y) (cos z)))

rewrite155.0ms

Algorithm
rewrite-expression-head
Rules
38×add-cbrt-cube add-exp-log
12×cbrt-undiv div-exp
10×prod-exp cbrt-unprod
8×add-sqr-sqrt *-un-lft-identity times-frac add-cube-cbrt associate-/l*
6×associate-/r/
4×pow1 clear-num associate-/r* frac-2neg associate-*r/ insert-posit16 div-inv add-log-exp
2×flip3-- cos-mult flip-- sin-mult associate-/l/
Counts
4 → 96
Calls
4 calls:
44.0ms
(/ (sin z) (* (cos z) (- 1 (/ (* (sin z) (sin y)) (* (cos y) (cos z))))))
42.0ms
(/ (sin y) (* (cos y) (- 1 (/ (* (sin z) (sin y)) (* (cos y) (cos z))))))
33.0ms
(/ (* (sin z) (sin y)) (* (cos y) (cos z)))
34.0ms
(/ (* (sin z) (sin y)) (* (cos y) (cos z)))

series720.0ms

Counts
4 → 12
Calls
4 calls:
215.0ms
(/ (sin z) (* (cos z) (- 1 (/ (* (sin z) (sin y)) (* (cos y) (cos z))))))
209.0ms
(/ (sin y) (* (cos y) (- 1 (/ (* (sin z) (sin y)) (* (cos y) (cos z))))))
158.0ms
(/ (* (sin z) (sin y)) (* (cos y) (cos z)))
139.0ms
(/ (* (sin z) (sin y)) (* (cos y) (cos z)))

simplify888.0ms

Counts
108 → 108
Iterations
IterNodes
done2000
21708
1443
0172

prune1.1s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

regimes606.0ms

Accuracy

0% (0.1b remaining)

Error of 0.2b against oracle of 0.1b and baseline of 0.2b

bsearch0.0ms

simplify6.0ms

Iterations
IterNodes
done31
131
022

end0.0ms

sample14.3s

Algorithm
intervals
Results
8.4s3845×body1280valid
3.4s2053×body640valid
982.0ms8000×pre80true
648.0ms658×body320valid
319.0ms1145×body80valid
240.0ms299×body160valid